Topic Working Groups
This page is the entry point for the Coq Topic Area Working Groups.
The idea of these groups is to coordinate roadmaps and initiatives around a concrete sub-area related to Coq development.
The main activity of the groups will be a periodic meeting to discuss and coordinate initiatives in the particular are of interest.
Each group has a coordinator which is responsible of scheduling and agenda; to show interest in the WG, please add your name to the participants lists.
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.