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

The Coq proof assistant user's guide : version 5.8

Gilles Dowek
  • Fonction : Auteur
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

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⟩
66 Consultations
123 Téléchargements

Partager

Gmail Facebook X LinkedIn More