tlaplus / Examples
git clone https://github.com/tlaplus/Examples.git
A collection of TLA⁺ specifications of varying complexities.
+0
stars, 24h · #51,207
+~0
stars, 7 days · #51,281
+~0
stars, 30 days · #51,419
1.6k
★ total
228
forks · 12 open issues
Star history (as recorded here)
LanguageTLA
License—
Created2016-03-01 (10y ago)
Last pushtoday
OwnerOrganization