TLA⁺ Tools and Toolbox

https://github.com/tlaplus/tlaplus

TLA⁺ Tools and Toolbox is a suite of command-line tools and an integrated development environment...

Tokens:119,319
Snippets:1,598
Trust Score:9.3
License:MIT
Update:1 month ago
Tokens:
Raw