TD math Coq

Ce dépôt contient les documents et développements en lien avec le projet de TD de maths en Coq.

• doc Publications, rapports.
• experimentations Liens vers des expérimentations avec des élèves.
• logiciels Liens vers les prototypes de logiciels conçus.
• maquettes Différentes maquettes d'interfaces / d'interactions.
• notes Notes de réunions.