Part: I The language
Part: I
The language
Chapter 1: The
Gallina
specification language
Chapter 2: Extensions of
Gallina
Chapter 3: The
Coq
library
Chapter 4: The Calculus of Inductive Constructions
Retrieved by Memoweb from
http://pauillac.inria.fr/coq/doc/node.0.html
at 8/10/98