Précédent : Stages Remonter : Diffusion des résultats Suivant : Références

Diffusion de logiciels

L'équipe continue de distribuer le générateur d'environnements de programmation Centaur (10 licences cette année). Nous avons également mis en accès la version v10 de l'environnement CtCoq au mois de Janvier (27 licences ont été distribuée cette année).