Pcoq was written by Yves Bertot, Ahmed Amerkad, Pascal Lequang, Loïc Pottier, and Laurence Rideau.
Early contributors are all the people who participated in the development of CtCoq: Ngo Bao Chau, Delphine Terrasse, Gilles Kahn, Francis Montagnac, Janet Bertot, Anne Massol, Yann Coscoy, Laurent Théry, Olivier Pons.
Special thanks to Laurent Théry, Bruno Conductier, Ranan Fraer, and Christophe Roudet who implemented the libraries Figue and Aïoli on which Pcoq relies, and to the Crystal team at INRIA who developed Ocaml.
Marianne Durand also had the difficult task of performing the very first experiment of connecting a Java-based interface to Coq.