Skip to content

CoqCodingSprint

letouzey edited this page Oct 13, 2017 · 6 revisions
Clone this wiki locally

List of coding sprints:

  1. 2015, Sophia-Antipolis (Nice) CoqCS1.
  2. 2016, Sophia-Antipolis (Nice) CoqIW2016.