et al. The Coq proof assistant reference manual, version 5.10. Rapport technique RT-0177 (1995)

by C Cornes
Venue:INRIA - Rocquencourt --- CNRS - ENS