Judicaël Courant, Yann Coscoy, David Delahaye, Daniel de Rauglaudre, Jean-Christophe Fillâtre, Eduardo Giménez, Hugo Herbelin, Gérard Huet, Henri Laulhère (1998)

by Bruno Barras, Samuel Boutin, Cristina Cornes
Venue:Chetan Murthy, Catherine Parent-Vigouroux, Patrick Loiseleur, Christine Paulin-Mohring, Amokrane Saïbi, and Benjamin Werner. The Coq Proof Assistant Reference Manual - Version 6.2. INRIA, Rocquencourt