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 15, 2024 - C++