|
Action Concertée Incitative Nouvelles Interfaces des Mathématiques |
|
|
Projet Mao -- Mathématiques assistées par ordinateur |
|
|
Démo Coq en ligne (accès libre). (dernière mise à jour de cette page : 8 avril 2005) (dernière mise à jour du site : 16 décembre 2004) |
|
|
|
|