ParamCoq
Copyright (c) 2012-2018

Chantal Keller (Inria, École polytechnique)
Marc Lasson (ÉNS de Lyon)
Abhishek Anand
Pierre Roux
Emilio Jesús Gallego Arias
Cyril Cohen
Matthieu Sozeau
