search

hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
198 stars 40 forks source link

typo: missing "]" in Summary section #85

Closed leauny closed 4 months ago