search

tlaplus / CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
MIT License
273 stars 36 forks source link

Add Relation!IsTotallyOrdered and auxiliary operators. #104

Closed lemmy closed 2 months ago

lemmy commented 2 months ago

Do we need an InfiniteSets module?!

muenchnerkindl commented 2 months ago

LGTM, thanks!