The Coq proof assistant user's guide : version 5.6 - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1991

The Coq proof assistant user's guide : version 5.6

Gilles Dowek
  • Fonction : Auteur
Amy Felty
  • Fonction : Auteur
Hugo Herbelin
  • Fonction : Auteur
  • PersonId : 833422
Gérard Huet
  • Fonction : Auteur
Benjamin Werner
Christine Paulin-Mohring
  • Fonction : Auteur

Résumé

pas de resume

Domaines

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

Dates et versions

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

Identifiants

  • HAL Id : inria-00070034 , version 1

Citer

Gilles Dowek, Amy Felty, Hugo Herbelin, Gérard Huet, Benjamin Werner, et al.. The Coq proof assistant user's guide : version 5.6. [Research Report] RT-0134, INRIA. 1991, pp.155. ⟨inria-00070034⟩
74 Consultations
97 Téléchargements

Partager

Gmail Facebook X LinkedIn More