P

pmGenerator

Project information

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory. (Mirror of https://github.com/xamidi/pmGenerator)

https://xamidi.pages.git.nrw/pmGenerator

condensed de... formal logic formal methods Hilbert systems HPC logic mathematical... Metamath modal logic MPI proof comple... proof engine... proof minimi... proof search proof theory propositiona... TBB theorem prover

174 Commits
4 Branches
10 Tags
10 Releases

README
GNU General Public License v3.0 or later
GitLab Pages

Created on

July 28, 2026

Loading