Coq Topic Working Group Document Data and Machine Learning Platform
The goal of this working group is to coordinate the improvement of Coq aspects related to the processing of Coq with external tools, in particular to ensure we provide a good API for such tools to interact with Coq and to transform Coq documents.
It seems that a bi-monthly meeting could work, but still to be discussed, we will soon add a poll.
- Kick-off meeting: TBA
- Emilio J. Gallego Arias
- Incremental Checking
- Document format / transformation
- Python bindings
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.