boole A system for formal verification of logical proofs and formulae in text format. Backwards-compatible with George.
