DMCA

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:29 - 0 self