Projects with this topic
Sort by:
-
VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds
Updated -
Proof Rondo is a TypeScript-based, first-order logic (FOL) proof verifier.
Updated -
A constructive logic proof checker
Updated
