condensed-detachment

There are 0 repository under condensed-detachment topic.

• xamidi / pmGenerator

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

  proof-theorypropositional-calculushpctbblogiccondensed-detachmentproof-complexitympiformal-proofshilbert-systemsfrege-systemsmathematical-logic
  Language:C++ 9