/tlacli

A script for running TLA+/TLC from the command line

Primary LanguagePythonMIT LicenseMIT

Issues