Python interpreter for TLA+ specifications
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.