C
Cristina Cornes
Publications - 1
Citations - 1158
Cristina Cornes is an academic researcher. The author has contributed to research in topics: Proof assistant & Calculus of constructions. The author has an hindex of 1, co-authored 1 publications receiving 1138 citations.
Papers
More filters
The Coq proof assistant : reference manual, version 6.1
Bruno Barras,Samuel Boutin,Cristina Cornes,Judicaël Courant,Jean-Christophe Filliâtre,Eduardo Giménez,Hugo Herbelin,Gérard Huet,César A. Muñoz,Chetan Murthy,Catherine Parent,Christine Paulin-Mohring,Amokrane Saïbi,Benjamin Werner +13 more
TL;DR: Coq V6.1 is a proof assistant based on a higher-order logic allowing powerful definitions of functions and is available by anonymous ftp at ftp.ens-lyon.fr/INRIA/Projects/coq/V 6.1.