Skip to content

CoqImplementorsWorkshop

Jump to bottom
Théo Zimmermann edited this page May 11, 2023 · 13 revisions

Installation of Coq

Documentation pages in this wiki

Events

Clone this wiki locally

List of Implementors Workshops:

  1. 2023, Sophia-Antipolis (Nice) Coq Users and Developers Workshop 2023
  2. 2022, On-line Coq Hackathon and Working Group, Winter 2022
  3. 2020, On-line Coq Users and Developers Workshop 2020
  4. 2019, Sophia-Antipolis (Nice) Coq Users and Developers Workshop 2019
  5. 2018, Nice Coq Implementors Workshop 2018.
  6. 2017, Port-aux-rocs, Le Croisic (Nantes) Coq Implementors Workshop 2017.
  7. 2016, Sophia-Antipolis (Nice) Coq Implementors Workshop 2016.
  8. 2015, Sophia-Antipolis (Nice) First Coq Coding Sprint.

To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.

CC0

By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.