Pcoq a été écrit par Yves Bertot, Ahmed Amerkad, Pascal Lequang, Loïc Pottier et Laurence Rideau.
Les premiers contributeurs sont ceux qui ont participé au développement de CtCoq: Ngo Bao Chau, Delphine Terrasse, Gilles Kahn, Francis Montagnac, Janet Bertot, Anne Massol, Yann Coscoy, Laurent Théry, Olivier Pons.
Nous remercions également spécialement Laurent Théry, Bruno Conductier, Ranan Fraer, et Christophe Roudet qui ont réalisés les librairies Figue et Aïoli et l'équipe Cristal de l'INRIA qui a développé Ocaml.
Marianne Durand a aussi eu la tâche difficile de réaliser la première expérience de connection entre un interface graphique en Java et Coq.