Back to search
Top Contributors
224
commits
105
commits
60
commits
17
commits
7
commits
5
commits
4
commits
4
commits
4
commits
3
commits
A collection of TLA⁺ specifications of varying complexities.
Stars
1.5k
Forks
217
Watchers
1.5k
Open Issues
15
Overall repository health assessment
No package.json found
This might not be a Node.js project
224
commits
105
commits
60
commits
17
commits
7
commits
5
commits
4
commits
4
commits
4
commits
3
commits
TLCMC: non-strict BFS, BFS level tracking, state constraints,
1725845View on GitHubChange loop step from 'l' to '1' in pseudo code comment of Bakery.tla
dc6470aView on GitHubFall back to Apalache v0.52.2 if latest download fails
ec17f2aView on GitHubDieHardest: compare jug configurations via self-composition
db122e3View on GitHubUpdate comment of DieHarder specification to reflect three constant parameters.
aaf4954View on GitHubAdd community modules path argument to proof checking script
dc25f34View on GitHubLogically revert: "Replace Functions and FunctionTheorems with Fork variants"
b1bbfd5View on GitHubAdd optimal solution commentary for Klotski puzzle
30efe07View on GitHub