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

Diffusion de logiciels

L'équipe a mis dans le domaine public la version 6.1 de l'assistant à la démonstration Coq.