Summary: CARNEGIE MELLON
ETPS: A System to Help Students Write Formal Proofs
by
Peter B. Andrews
Carnegie Mellon University
Matthew Bishop
Azlan Ltd.
Chad E. Brown
Carnegie Mellon University
Sunil Issar
Frank Pfenning
Carnegie Mellon University
Hongwei Xi
Boston University
Research Report No. 03-002
April 2003
Department of Mathematical Sciences
Carnegie Mellon University
ETPS: A System to Help Students Write Formal Proofs
Peter B. Andrews

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics