GitHub repository: laitep/Prover9-Mace4-GUI
Primary language: Python
Description: Self-contained user interface for Prover9 and Mace4.