An Automated Theorem Prover in Pythonhttps://github.com/boyers/theorem_prover by stepstep • 12 years ago 2 0 12 years agoGIgithub.com