Coq Working Groups - coq/coq 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