Rocq

oeuvre assistant de preuve

Nature : logiciel à code source ouvert, assistant de preuve, langage de programmation purement fonctionnel, logiciel libre, Q

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

Mots du lexique : Rocq nom propre