Lean
oeuvre assistant de preuve
Nature : logiciel à code source ouvert, assistant de preuve, langage de programmation
- création
- 2013
Catégories : langages de programmation · logiciels · informatique et technologie · concepts abstraits
Mots du lexique : Lean nom propre, lean adjectif, lean nom commun