The Coq proof assistant reference manual. Version 5.10 (1995)

by C Cornes, J Courant, J-C Filliatre, G Huet, P Manoury, C Paulin-Mohring, C Munoz, C Murthy, C Parent, A Sa bi, B Werner
Venue:INRIA - Rocquencourt | CNRS - ENS