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

### Cached

### Download Links

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 |