GitHub repository: muenchnerkindl/tlapm
Description: The TLA Proof Manager