Mizar (système)

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Le système Mizar est un outil fournissant un langage formel pour écrire des définitions et des preuves mathématiques, une vérification automatique de ces preuves et une bibliothèque de mathématiques formalisées.

Liens externes[modifier | modifier le code]