The Coq Proof Assistant Reference Manual (2006)

by B Barras, S Boutin, C Cornes, J Courant, J Filliatre, E Giménez, H Herbelin, G Huet, C Muñoz, C Murthy, C Parent, C Paulin, A Saïbi, B Werner