tlaplus

1–30 of 1091
This is a discussion group for users of the TLA+ specification language, the PlusCal algorithm language, and their associated tools.
To find out about the languages and tools, see The TLA Home Page 
   
Posts by non-members are moderated.
 
We encourage you to join the group.