Coqtail
COQ Theorems, Abstractions and Implementations (Bachelor-Level)
Équipe
Membres du laboratoire junior :- Marc Lasson, responsable du laboratoire junior
- Guillaume Allais
- Marthe Bonamy
- Sylvain Dailler
- Jean-Marie Madiot
- Pierre-Marie Pédrot
- Contributeurs sur Github
- Ancienne équipe (sur Sourceforge)
- Ancienne équipe (projet COQUILLE)
