The Coq Proof Assistant Reference Manual (1996)

by Barras
Venue:Projet Coq | INRIA-Rocquencourt, CNRS-ENS Lyons. (Version 6.1