/PredicateLogicProofValidator

A validator for predicate logic proofs that can be extended with custom axioms and rules.

Primary LanguageTypeScript

No issues in this repository yet.