Coqtail
COQ Theorems, Abstractions and Implementations (Bachelor-Level)
Team
Members of the junior lab:- Marc Lasson, in charge
- Guillaume Allais
- Marthe Bonamy
- Sylvain Dailler
- Jean-Marie Madiot
- Pierre-Marie Pédrot
- Contributors on Github
- Former team (on Sourceforge)
- Former team (COQUILLE project)
