Publication | Open Access
The Coq proof assistant : reference manual, version 6.1
Bruno Barras,
Samuel Boutin,
Cristina Cornes,
Judicaël Courant,
Jean-Christophe Filliâtre,
Eduardo Giménez,
Hugo Herbelin,
Gérard Huet,
César Muñoz,
C. R. Murthy,
OpenGrey (Institut de l'Information Scientifique et Technique)