The rewrite of TLAPM, the TLAPS proof manager
Primary LanguageOCaml
No issues in this repository yet.