ProofBase can contain some simple proofs...
Working ProofBase