, Site officiel de Proof General

, Dépot Github de vscoq

, Documentation

R. Lepigre,

F. Blanqui,

, Emilio Jesús Gallego Arias, chercheur à Mines Paris Tech