Personal tools

Short theorum prover