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