An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Latest commits.
Builders behind this project.
