Mizar

oeuvre

assistant de preuve

Liens externes

Lien Wikipedia : https://fr.wikipedia.org/wiki/Mizar_(système)

Lien Wikidata : https://www.wikidata.org/wiki/Q1609529

Mizar

Propriétés

date_creation: +1973-00-0
pays: Pologne

Catégories

langages de programmation logiciels informatique et technologie concepts abstraits

Mots liés

mizar NOM PROPRE