xamidi / pmGenerator Star 12 Code Issues Pull requests Discussions An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory. hpc logic mpi tbb mathematical-logic propositional-calculus formal-proofs proof-theory condensed-detachment proof-complexity hilbert-systems frege-systems Updated Aug 6, 2024 C++
proof-theory / pmGenerator Star 1 Code Issues Pull requests An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory. automated-deduction proof-theory condensed-detachment Updated Jun 17, 2024 C++