https://hal.inria.fr/hal-02890460 Contributor : Jean-Christophe FilliâtreConnect in order to contact the contributor Submitted on : Monday, July 6, 2020 - 12:47:27 PM Last modification on : Sunday, June 26, 2022 - 2:51:38 AM Long-term archiving on: : Friday, September 25, 2020 - 2:10:45 PM
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⟩