The Coq Proof Assistant User’s Guide, version 6.1. INRIA-Rocquencourt et CNRSENS (1996)

by C Cornes, J Courant, J-C Filliâtre, G Huet, P Manoury, C Muñoz