The Coq proof assistant reference manual (0)

by B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, D de Rauglaudre, J C Filliâtre, E Giménez, H Herbelin
Venue:INRIA, version