a Coq retrospective - at the heart of Coq architecture, the genesis of version 7.0 - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

a Coq retrospective - at the heart of Coq architecture, the genesis of version 7.0

Domaines

Logique en informatique [cs.LO] Logiciel mathématique [cs.MS]
Fichier principal
Vignette du fichier
filliatre-coq-workshop-2020.pdf (114.38 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-02890460

Soumis le : lundi 6 juillet 2020-12:47:27

Dernière modification le : samedi 30 mars 2024-03:20:49

Archivage à long terme le : vendredi 25 septembre 2020-14:10:45

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-02890460 , version 1

Citer

Jean-Christophe Filliâtre. a Coq retrospective - at the heart of Coq architecture, the genesis of version 7.0. The Coq Workshop 2020, Jul 2020, virtual, France. ⟨hal-02890460⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE GS-LIFE-SCIENCES-HEALTH LMF
87 Consultations
213 Téléchargements

Partager

Gmail Facebook X LinkedIn More