Skip to content

Release Plan for Coq 8.11

Emilio Jesús Gallego Arias edited this page Nov 24, 2019 · 1 revision

Pierre-Marie Pédrot & Matthieu Sozeau are the release managers (RM) for 8.11.

As to roughly follow the 6-month release cycle, here is the proposed schedule:

Hopefully, the release will even be out before Christmas!

Some major changes are expected for that release: Ltac2, vos, VSCoq support, primitive floats (tentatively)...


  • Import/Export inconsistency fixes
  • Universes and the global env.

The following issue can be used to track the release process:

Clone this wiki locally
You can’t perform that action at this time.