Content mirrored for search engine indexing from:

https://github.com/coq/coq/wiki/CoqCodingSprint

Why does this service exist?

📅 Last Modified: Fri, 13 Oct 2017 12:19:53 GMT

CoqCodingSprint - coq/coq GitHub Wiki

List of coding sprints:

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

🗂️ Page Index for this GitHub Wiki