GitHub repository: tlaplus/tlapm
Primary language: OCaml
Description: The TLA⁺ Proof Manager