Pierre Letouzey edited this page Oct 18, 2017 · 93 revisions

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 in on November the 25th at 10am at Sophie Germain, PPS on the 3rd floor. If time permits, it will be continued by a debugging session.


  • 10:00 - 10:20 Status of 8.5, calendar (Maxime)
  • 10:20 - 10:40 Communication practices (Hugo)
  • 10:40 - 11:00 Current status of OPAM for Coq (Guillaume C.)
  • 11:00 - 11:15 Break
  • 11:15 - 12:15 Organization of the development : proposal and discussion (Maxime, collective discussion)
  • 12:15 - 12:25 Status of options: synchro / non synchro / both (Pierre C.)
  • 12:25 - 12:30 Alternative to "f is assumed" ("declared", "taken", "given", ...)? (Hugo)
  • 12:30 Lunch
  • Afternoon: Pull requests and bug squashing
Clone this wiki locally
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.