A validator for predicate logic proofs that can be extended with custom axioms and rules. - View it on GitHub