#### DMCA

## Human-readable machine-verifiable proofs for teaching constructive logic (2001)

### Cached

### Download Links

- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.lb.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www-cgi.cs.cmu.edu.]
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www-cgi.cs.cmu.edu]
- [www.tcs.informatik.uni-muenchen.de]
- [www.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]
- [www2.tcs.ifi.lmu.de]

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 |