CoqWG20151125
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
To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.
By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.