Coq Call 2024 09 17 - coq/coq GitHub Wiki

Topics

  • 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

Roles

  • Chairman: Nicolas Tabareau
  • Secretary: Matthieu Sozeau

Notes

  • 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