| ETPS: A System to Help Students Write Formal Proofs (2008) | |||||||||||||||||
Abstract | |||||||||||||||||
| ETPS (Educational Theorem Proving System) is a program which logic students can use to write formal proofs in first-order logic or higher-order logic. It enables students to concentrate on the essential logical problems involved in proving theorems, and automatically checks the proofs. | |||||||||||||||||
Details der Publikation | |||||||||||||||||
| |||||||||||||||||