L'Inria Academy disponible en ligne

David Simplot, responsable de l’Inria Academy, nous avait annoncé en septembre 2020 (notre article) que son institution regorgeait de ressources formatives aux logiciels open source. Et il nous avait alors expliqué que la maîtrise de ces solutions technologiques est pour lui un véritable facteur de croissance économique au service du développement des écosystèmes numériques. Après une phase d’expérimentation interne, l’Inria Academy déploie aujourd’hui sa plateforme publique éponyme, qui permet d’accéder à cinq de ses créations phares : Coq Langage de programmation simplifié pour décrire des algorithmes, leurs propriétés et leurs preuves : niveaux débutant et avancé. Pharo Programmation objet avancée…