Lean

oeuvre

assistant de preuve

Liens externes

Lien Wikipedia : https://fr.wikipedia.org/wiki/Lean_(assistant_de_preuve)

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

Propriétés

date_creation: +2013-00-0
logo: Lean logo2.svg

Catégories

langages de programmation logiciels informatique et technologie concepts abstraits

Mots liés

lean ADJ