issues
search
hwayne
/
learntla-v2
Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
183
stars
39
forks
source link
Fix fairness expressions in TLA+ section to avoid confusion
#59
Closed
federicobond
closed
1 year ago