Design of a proof assistant: Coq version 7 - Laboratoire de Recherche en Informatique. Équipe: Vérification d'Algorithmes, Langages et Systèmes Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2000

Design of a proof assistant: Coq version 7

Domaines

Logique en informatique [cs.LO] Informatique et langage [cs.CL] Logiciel mathématique [cs.MS]
Fichier principal
Vignette du fichier
coqv7.pdf (164.34 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Jean-Christophe Filliâtre  : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 6 juillet 2020-12:15:21

Dernière modification le : lundi 12 février 2024-09:52:06

Archivage à long terme le : vendredi 25 septembre 2020-13:50:24

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS CNRS INRIA UMR8623 INRIA2 LRI-VALS LARA UNIV-PARIS-SACLAY
174 Consultations
85 Téléchargements

Partager

Gmail Facebook X LinkedIn More