Parallel Verification of Propositional Natural-Deduction Proof Graphs
Primary LanguageC++MIT LicenseMIT