๐ป Working as a Software Engineer at Microsoft on TLA+.
lemmy / communitymodules Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tlaplus/communitymodules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
License: MIT License