The Coq Proof Assistant, Reference Manual, Version 5.10 - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1995

The Coq Proof Assistant, Reference Manual, Version 5.10

Cristina Cornes
  • Fonction : Auteur
Formal Specifications and Program Validation
Judicaël Courant
  • Fonction : Auteur
Jean-Christophe Filliâtre
Gérard Huet
  • Fonction : Auteur
Pascal Manoury
  • Fonction : Auteur
César Munoz
  • Fonction : Auteur
Chetan Murthy
  • Fonction : Auteur
Catherine Parent
  • Fonction : Auteur
Christine Paulin-Mohring
  • Fonction : Auteur
Amokrane Saibi
  • Fonction : Auteur
Benjamin Werner

Résumé

Résumé disponible dans les fichiers attachés

Domaines

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

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

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

Soumis le : vendredi 19 mai 2006-18:46:35

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

Archivage à long terme le : dimanche 4 avril 2010-20:11:13

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : inria-00069994 , version 1

Citer

Cristina Cornes, Judicaël Courant, Jean-Christophe Filliâtre, Gérard Huet, Pascal Manoury, et al.. The Coq Proof Assistant, Reference Manual, Version 5.10. [Research Report] RT-0177, INRIA. 1995, pp.185. ⟨inria-00069994⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA-RRRT INRIA2 LARA
134 Consultations
250 Téléchargements

Partager

Gmail Facebook X LinkedIn More