Home Tags Coq

coq

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

Inria a présenté fin juillet son nouveau dispositif de formation continue. Centré sur les logiciels libres cette structure permettra l’accès aux grands noms des logiciels open source, émanations des résultats de recherche des équipes Inria et de leurs partenaires. Au programme, S...