coq

sur le même thème

1 au total

Création d'entité / lancement de structure · INRIA

Scikit-learn, SOFA, Coq, Pharo : Inria lance son Academy de formation continue dédiée aux logiciels libres

05/08