a Coq retrospective - at the heart of Coq architecture, the genesis of version 7.0 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Dates and versions

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

Identifiers

  • HAL Id : hal-02890460 , version 1

Cite

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⟩
83 View
212 Download

Share

Gmail Facebook X LinkedIn More