# Minimal logic and automated proof verification.

> 2019 doctoral thesis by Louis Warren at University of Canterbury

**Wikidata**: [Q111964414](https://www.wikidata.org/wiki/Q111964414)  
**Source**: https://4ort.xyz/entity/minimal-logic-and-automated-proof-verification-