Abstract : Coq is a proof assistant based on a higher-order logic allowing powerful definitions of functions. This document is a tutorial for the version V6.1 of Coq. This version is available by anonymous ftp at ftp.inria.fr:/INRIA/Projects/coq/V6.1 and ftp.ens-lyon.fr:/pub/LIP/COQ/V6.1
https://hal.inria.fr/inria-00069967 Contributor : Rapport de Recherche InriaConnect in order to contact the contributor Submitted on : Friday, May 19, 2006 - 6:43:39 PM Last modification on : Friday, February 4, 2022 - 3:07:47 AM Long-term archiving on: : Sunday, April 4, 2010 - 8:00:32 PM