Fix typos - Githubissues

tlaplus / CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

MIT License

273 stars 36 forks source link

Closed ligurio closed 1 year ago