forked from informalsystems/quint
-
Notifications
You must be signed in to change notification settings - Fork 0
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
License
cordencodes/quint
ErrorLooks like something went wrong!
About
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- TypeScript 69.3%
- Bluespec 14.1%
- Rust 11.7%
- JavaScript 2.2%
- ANTLR 1.0%
- Shell 0.8%
- Other 0.9%