Coq Call 2024 09 17
- September 17th 2024, 4pm UTC+2 (Paris time zone offset)
- https://rdv2.rendez-vous.renater.fr/coq-call
- Rocq (renaming): Outline and assign specific tasks, and determine the approach for the new command line. Should we take this opportunity to implement additional improvements beyond a simple renaming?
- 8.21 release manager
- Chairman: Nicolas Tabareau
- Secretary: Matthieu Sozeau
- Branching mid-november for Rocq 9 branch.
- Everything happens in master for the renaming PRs
- Github Community rocq-prover and main repo rocq-prover.git
- CLI name issue: one binary rocq with commands compile / repl / lsp-server?
- More in the github project: https://github.com/orgs/coq/projects/28
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.