, Site officiel de Proof General
, Dépot Github de vscoq
, Documentation
R. Lepigre,
F. Blanqui,
, Emilio Jesús Gallego Arias, chercheur à Mines Paris Tech