Isabelle

oeuvre logiciel

Nature : assistant de preuve, logiciel libre

Catégories : logiciels · informatique et technologie · concepts abstraits

Mots du lexique : Isabelle nom propre, isabelle adjectif, isabelle nom commun