The Coq Proof Assistant Reference Manual : Version 6.1 - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1997

The Coq Proof Assistant Reference Manual : Version 6.1

Bruno Barras
  • Fonction : Auteur
Formal Specifications and Program Validation
Samuel Boutin
  • Fonction : Auteur
Cristina Cornes
  • Fonction : Auteur
Judicaël Courant
  • Fonction : Auteur
Jean-Christophe Filliâtre
Eduardo Giménez
  • Fonction : Auteur
Hugo Herbelin
  • Fonction : Auteur
  • PersonId : 833422
Gérard Huet
  • Fonction : Auteur
César Muñoz
  • Fonction : Auteur
Chetan Murthy
  • Fonction : Auteur
Catherine Parent
  • Fonction : Auteur
Christine Paulin-Mohring
  • Fonction : Auteur
Amokrane Saïbi
  • Fonction : Auteur
Benjamin Werner

Résumé

Coq is a proof assistant based on a higher-order logic allowing powerful definitions of functions. Coq V6.1 is available by anonymous ftp at ftp.inria.fr:/INRIA/Projects/coq/V6.1 and ftp.ens-lyon.fr:/pub/LIP/COQ/V6.1

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RT-0203.pdf (2.14 Mo) Télécharger le fichier

Rapport De Recherche Inria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00069968

Soumis le : vendredi 19 mai 2006-18:43:53

Dernière modification le : mardi 7 février 2023-03:38:16

Archivage à long terme le : dimanche 4 avril 2010-20:00:59

Télécharger pour visualiser

Dates et versions

inria-00069968 , version 1 (19-05-2006)

Identifiants

  • HAL Id : inria-00069968 , version 1

Citer

Bruno Barras, Samuel Boutin, Cristina Cornes, Judicaël Courant, Jean-Christophe Filliâtre, et al.. The Coq Proof Assistant Reference Manual : Version 6.1. [Research Report] RT-0203, INRIA. 1997, pp.214. ⟨inria-00069968⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA-RRRT INRIA2 LARA
919 Consultations
773 Téléchargements

Partager

Gmail Facebook X LinkedIn More