Reference

2001
Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic
PTP 2001: Workshop on Proof Transformations, Proof Presentations, and Complexity of Proofs

BibTeX

@string{PTP = "Workshop on 
	Proof Transformations, Proof Presentations, and Complexity of Proofs
       (PTP)"}
@inproceedings{tutch-ptp01,
  author = {Andreas Abel and Bor-Yuh Evan Chang and Frank Pfenning},
  title = {Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic},
  booktitle = PTP,
  year = {2001},
  pages = {14 pages},
  
}