Skip to content
/ pmGenerator Public

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

xamidi.github.io/pmGenerator/

License

GPL-3.0 license
22 stars 3 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

xamidi/pmGenerator

Error
Looks like something went wrong!

About

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

xamidi.github.io/pmGenerator/

Topics

hpc logic mpi tbb unification mathematical-logic propositional-calculus formal-proofs proof-theory condensed-detachment proof-complexity hilbert-systems frege-systems proof-minimization

Resources

Readme

License

GPL-3.0 license
Activity

Stars

22 stars

Watchers

3 watching

Forks

3 forks
Report repository

Releases 9

pmGenerator 1.2 (patch 2) Latest
Jun 7, 2025
+ 8 releases

Sponsor this project

 
Learn more about GitHub Sponsors

Contributors 2

  •  
  •  

Languages