issues
search
tlaplus
/
Examples
A collection of TLA⁺ specifications of varying complexities
Other
1.29k
stars
200
forks
source link
Add TLAPS check mark to Termination entry and fix unrelated comment
#111
Closed
nano-o
closed
10 months ago