Admin message

We are upgrading GitLab in the background. The UI will remain available. SSH or https connections to repositories may drop temporarily.

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
  • 173 Commits
  • 4 Branches
  • 10 Tags
  • 10 Releases
  • README
  • GNU General Public License v3.0 or later
  • GitLab Pages

Created on

July 28, 2026
Loading