The Coq Proof Assistant Reference Manual – Version V6.1 (1997)

by B Barras, S Boutin, C Cornes, J Courant, J C Filliatre, E Giménez, H Herbelin, G Huet, C Mu noz, C Murthy, C Parent, C Paulin, A Säıbi, B Werner