# Human-Readable Machine-Verifiable Proofs for Teaching Constructive Logic

> Research article (Figshare, 2018) · cited 32× · AI/ML

**Wikidata**: [openalex:W1511360918](https://www.wikidata.org/wiki/openalex:W1511360918)  
**Source**: https://4ort.xyz/entity/human-readable-machine-verifiable-proofs-for-teaching-constructive-logic