Coq Working Groups - rocq-prover/rocq GitHub Wiki
Coq developers and users gather once every several months in Paris and through video-conference to discuss ongoing developments.
Latest Coq WG's (in inverse chronogical order)
- CoqWG 2023-12-18
- CoqWG 2023-01-31
- CoqWG 2022-06-15
- CoqWG 2022-02-15
- CoqWG 2020-05-04
- CoqWG 2019-12-{16,17}
- CoqWG 2019-10-{01,02}
- CoqWG 2019-02-06
- CoqWG 2018-12-19
- CoqWG 2018-10-22
- CoqWG 2018-05-16
- CoqWG 2018-02-26
- CoqWG 2017-12-18
- CoqWG 2017-10-03
- CoqWG 2017-05-23
- CoqDevelopment/CoqWG20170306
- CoqDevelopment/CoqWG20161214
- CoqDevelopment/CoqWG20160928
- CoqDevelopment/CoqWG20160531
- CoqDevelopment/CoqWG20160415
- CoqDevelopment/CoqWG20160216
- CoqDevelopment/CoqWG20151125
- CoqDevelopment/CoqWG20150915
- CoqDevelopment/CoqWG20150512
- CoqDevelopment/CoqWG20150324
- CoqDevelopment/CoqWG20150106
- CoqDevelopment/CoqWG20141023
- CoqDevelopment/CoqWG20140905
- CoqDevelopment/CoqWG20140606
- CoqDevelopment/CoqWG20140404
- CoqDevelopment/CoqWG20140131
Past GT Coq's (in chronogical order)
- CoqDevelopment/CRGTCoq20081010
- CoqDevelopment/CRGTCoq20081118
- CoqDevelopment/CRGTCoq20090116
- CoqDevelopment/CRGTCoq20090323
- CoqDevelopment/CRGTCoq20090704
- CoqDevelopment/CRGTCoq20091103
- CoqDevelopment/CRGTCoq20100113
- CoqDevelopment/CRGTCoq20100426
- CoqDevelopment/CRGTCoq20100920
- CoqDevelopment/CRGTCoq20101217
- CoqDevelopment/CRGTCoq20110414
- CoqDevelopment/CRGTCoq20110706
- CoqDevelopment/CRGTCoq20120119
- CoqDevelopment/CRGTCoq20120920
- CoqDevelopment/CRGTCoq20130214
- CoqDevelopment/CRGTCoq20130709
- CoqDevelopment/CRGTCoq20131126