quint
informalsystems
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
972
Stars
85
Forks
972
Watchers
TypeScript
Language
apache-2.0
License
Growth over time
2 data points · 2023-03-01 → 2025-08-01
Stars
Forks
Watchers
💬
How do you feel about this project?
Ask AI about quint
Question copied to clipboardWhat is the informalsystems/quint GitHub project? Description: "An executable specification language with delightful tooling based on the temporal logic of actions (TLA)". Written in TypeScript. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
How to clone quint
Clone via HTTPS
git clone https://github.com/informalsystems/quint.git
Clone via SSH
[email protected]:informalsystems/quint.git
Download ZIP
Download master.zipFound an issue?
Report bugs or request features on the quint issue tracker:
Open GitHub Issues