Design of a proof assistant: Coq version 7 - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2000

Design of a proof assistant: Coq version 7

Fichier principal
Vignette du fichier
coqv7.pdf (164.34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02890416 , version 1 (06-07-2020)

Identifiants

  • HAL Id : hal-02890416 , version 1

Citer

Jean-Christophe Filliâtre. Design of a proof assistant: Coq version 7. [Research Report] Université Paris-Sud. 2000. ⟨hal-02890416⟩
286 Consultations
116 Téléchargements

Partager

More