informalsystems/modelator

Readme
Issues
Stargazers
Watchers

Add new CLI command `version`

hvanz opened this issue 2 years ago · 0 comments

hvanz commented 2 years ago

Add new CLI command `version`

Topics

tla tlaplus model-checking model-based-testing rust

Share to

Contact site admin: Geeks.