The Coq proof assistant reference manual: Version 6.1

Barras, Bruno, Boutin, Samuel, Cornes, Cristina, Courant, Judica{\"e}l, Filliatre, Jean-Christophe, Gimenez, Eduardo, Herbelin, Hugo, Huet, Gerard, Munoz, Cesar, Murthy, Chetan, others. The Coq proof assistant reference manual: Version 6.1. PhD thesis, Inria, 1997.

Abstract

Abstract is missing.