Topic: "proof-minimization"
xamidi/pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Language: C++ - Size: 45.4 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 21 - Forks: 3
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Language: C++ - Size: 45.4 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 21 - Forks: 3