# The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

> Research article (Journal of Automated Reasoning, 2017) · cited 200× · AI/ML

**Wikidata**: [openalex:W2770430340](https://www.wikidata.org/wiki/openalex:W2770430340)  
**Source**: https://4ort.xyz/entity/the-role-of-the-mizar-mathematical-library-for-interactive-proof-development-in-mizar