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
highcloudwind/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 89.7%
- Bluespec 4.3%
- JavaScript 2.7%
- ANTLR 1.3%
- Shell 0.9%
- Emacs Lisp 0.4%
- Other 0.7%