a Coq retrospective - at the heart of Coq architecture, the genesis of version 7.0 - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2020

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

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)

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⟩
109 Consultations
234 Téléchargements

Partager

More