Coq Topic Working Group User Interfaces
The goal of this working group is to coordinate the improvement of Coq aspects related to user-interfaces. The WG is more focused on how Coq can better support UI than on the development of UIs themselves which is a bit orthogonal.
It seems that a bi-monthly meeting could work, but still to be discussed, we will soon add a poll.
- Kick-off meeting: https://framadate.org/6kZXw3Mdwr7eMlmV
- Emilio J. Gallego Arias
- Matthieu Sozeau
- Emilio and Ali summarise their current work
- Maxime and Enrico summarise their current work
- Discussion on how the different initiatives can work together
- Organization of development
- Link Coq UI list
To the extent possible under law, the contributors of the Rocq wiki have waived all copyright and related or neighboring rights to their contributions.
By contributing to the Rocq 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.