This page is used to organize the next Coq Working Group (in French GT Coq). The framadate link to decide which day it will happen is:


The next Coq Working Group will take place on October 3rd and 4th at Inria Paris (2, rue Simone Iff). The room for the two days is Jacques-Louis Lions 1.


October 3rd

October 4th

Talking points

Should also be discussed: plan for the standard library, who is in charge of the website (PRs)?

And plan some time to discuss about the PRs that are tagged "needs: discussion".

Cocorico: CoqDevelopment/NextCoqWG (last edited 20-09-2017 17:06:25 by maths)