Cover Page
The Coq Proof Assistant
Reference Manual
DRAFT - May 25, 1998
Version 6.21
Bruno Barras, Samuel Boutin, Cristina Cornes,
Judicaël Courant, Yann Coscoy, David Delahaye,
Daniel de Rauglaudre, Jean-Christophe Filliâtre,
Eduardo Giménez, Hugo Herbelin, Gérard Huet,
Henri Laulhère, César Muñoz, Chetan Murthy,
Catherine Parent-Vigouroux, Patrick Loiseleur,
Christine Paulin-Mohring, Amokrane Saïbi, Benjamin Werner
Coq Project
V6.2, May 25, 1998
©INRIA 1998
1(This research was partly supported by ESPRIT Basic
Research Action ``Types'' and by the GDR ``Programmation'' co-financed by
MRE-PRC and CNRS.)
Retrieved by Memoweb from http://pauillac.inria.fr/coq/doc/cover.html at 8/10/98