GitHub repository: laitep/Prover9-Mace4-v05
Primary language: Python
Created: 2023-11-02T18:25:35Z
Description: Archive of Prover9-Mace4 v05 (the last version published by William McCune), the Prover9 GUI.