The Coq proof assistant user's guide : version 5.8 - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 1993

The Coq proof assistant user's guide : version 5.8

Gilles Dowek
  • Fonction : Auteur
INRIA Rocquencourt
Amy Felty
  • Fonction : Auteur
Hugo Herbelin
  • Fonction : Auteur
  • PersonId : 833422
Gérard Huet
  • Fonction : Auteur
Catherine Parent
  • Fonction : Auteur
Christine Paulin-Mohring
  • Fonction : Auteur
Benjamin Werner
Chetan Murthy
  • Fonction : Auteur

Résumé

pas de résumé

Domaines

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

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

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

Soumis le : vendredi 19 mai 2006-18:49:50

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

Archivage à long terme le : mardi 22 février 2011-11:04:26

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : inria-00070014 , version 1

Citer

Gilles Dowek, Amy Felty, Hugo Herbelin, Gérard Huet, Catherine Parent, et al.. The Coq proof assistant user's guide : version 5.8. [Research Report] RT-0154, INRIA. 1993, pp.120. ⟨inria-00070014⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA-RRRT INRIA2 LARA
75 Consultations
140 Téléchargements

Partager

More