Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic (2001)

by Andreas Abel , Bor-Yuh Evan Chang , Frank Pfenning
Venue:IJCAR Workshop on Proof Transformations, Proof Presentations and Complexity of Proofs (PTP-01), http: //www.tcs.informatik.uni-muenchen.de/~abel/ptp01.ps.gz
Citations:30 - 0 self