tlaplus/Examples Issues
Deactivate macOS CI runners?
Closed 2Add some Apalache models
Updated 5Towards beginner friendly examples
Updated 9Index examples in manifest.json
Closed 13Do not suppress TLC output
Closed 3CI workflow fails on ubuntu
Closed 7Specs failing proof validation
Updated 13Models failing smoke testing
Closed 6Basic math exercises
Updated 3TLCMC spec
Closed 1How do I create .cfg files?
Closed 4Minor correction of a comment
Closed 1