![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/0/0c/Mizar_MathWiki_screenshot.png/640px-Mizar_MathWiki_screenshot.png&w=640&q=50)
Mizar (système)
langage de programmation informatique / De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Mizar.
Le système Mizar est un outil fournissant un langage formel pour écrire des définitions et des preuves mathématiques, un assistant de preuve permettant une vérification automatique de ces preuves et une bibliothèque de mathématiques formalisées.
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0c/Mizar_MathWiki_screenshot.png/640px-Mizar_MathWiki_screenshot.png)