An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript Updated 18 days ago 1 commits 1,877 stars
prism-dev|Mirror: quint-co/quint (⭐1,877)
18 days agoE2B SandboxFirecracker microVMtypescript
No executable code files found in this repository.
About
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Readme
1,877 stars
153 forks