Coq Call 2023 05 23 - rocq-prover/rocq GitHub Wiki

• May 23rd 4pm UTC+2 (Paris time zone offset)
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• Merging the CEP on the future of CoqIDE (Théo + Karl, 10 minutes)

Roles

• Chairman: Nicolas Tabareau
• Secretary:

Notes

CoqIDE

• After the CEP is merged, a call for volunteer maintainers of CoqIDE will be send to the community; with a 1 month deadline.
• The CEP will be slightly amended by Theo Zimmermann before begin merged

Dune

• Ali mentions the new release of Dune, we may have a quick overview in a future Coq call

Coq Users and Developers Workshop 2023

• we recall the coming CUDW