Simple checkers for proofs in propositional and quantifier logic.