The Coq Proof Assistant Reference Manual. INRIA (1999)

by Bruno Barras
Venue:MTR 2547, The MITRE Corporation