An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Primary LanguageTypeScriptApache License 2.0Apache-2.0