informalsystems/quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
110 best points · 37 comments · 3 Hacker News posts · 1,957 GitHub stars · View on GitHub
Hacker News discussions
- Quint: A specification language based on the temporal logic of actions (TLA) (110 points, 35 comments, by abathologist, 2023-12-19)
- Holiday protocols: secret santa with Quint (8 points, 1 comments, by bugarela, 2023-12-21)
- Quint – a new language based on TLA+ with modern syntax and developer tooling (5 points, 1 comments, by mmmmkay, 2023-07-09)