A Proof Environment for Teaching MathematicsRichard Sommer, Gregory NuckolsJournal of Automated Reasoning2004The EPGY Theorem Proving Environment is a computer program used by students to write mathematical proofs in a selection of computer-based, proof-intensive mathematics courses at the high-school andâ€¦ (More)