CoqCodingSprint - rocq-prover/rocq GitHub Wiki

List of coding sprints:

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