Mizar

Nature : assistant de preuve, logiciel, langage de programmation

création

1973

pays

Pologne

Catégories : langages de programmation · logiciels · informatique et technologie · concepts abstraits

Mots du lexique : Mizar nom propre

Wikidata Q1609529 · Wikipédia