/tlapm

The TLA Proof Manager

Primary LanguageOCamlBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Stargazers