An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Stars
1.3k
Forks
121
Watchers
1.3k
Open Issues
238
Overall repository health assessment
No package.json found
This might not be a Node.js project
2.9k
commits
556
commits
313
commits
216
commits
122
commits
73
commits
54
commits
38
commits
31
commits
22
commits
Update README to remove meeting info and revise acknowledgments (#1962)
f1e087bView on GitHubEnsure Apalache distribution is available locally before running TLC (#1959)
b183664View on GitHubProperly propagate Rust evaluator spawn errors to the user (#1958)
58764fcView on GitHubUpdate npm dependencies for `quint` , `docs` and `vscode` (#1957)
0071b96View on GitHubMerge pull request #1904 from oakenknight/aleksandar/find_all_references_extension
d53c739View on GitHub