A new technique for composing TLA+ Specs

38 views
Skip to first unread message

Hillel Wayne

unread,
Jun 18, 2024, 11:23:47 AMJun 18
to tlaplus
Wrote about it here: https://www.hillelwayne.com/post/composing-tla/.
Thanks to Murat and Andrew for feedback!


H

Reply all
Reply to author
Forward
0 new messages