ETPS: A System to Help Students Write Formal Proofs ∗ Peter B. Andrews () Carnegie Mellon University Matthew Bishop () - Goolma, New South Wales - Document - PDFSEARCH.IO

First Page	Meta Content
	ETPS: A System to Help Students Write Formal Proofs ∗ Peter B. Andrews () Carnegie Mellon University Matthew Bishop () Add to Reading List Document Date: 2003-09-05 13:45:30 Open Document File Size: 167,83 KB Share Result on Facebook

ETPS: A System to Help Students Write Formal Proofs ∗ Peter B. Andrews () Carnegie Mellon University Matthew Bishop ()Add to Reading List