Coq Call 2023 09 12 - rocq-prover/rocq GitHub Wiki

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

Topics

• support evars in abstract (https://github.com/coq/coq/pull/17745)
• 8.19 release planning
• progress report on https://github.com/coq/coq/pull/17839 (Rodolphe & Janno, BedRock Systems)

Notes

• 8.19 RM: Gaëtan Gilbert, Co-RM: Matthieu Sozeau
• Evars in abstract: let's do it and look at fixing the tactics that are sensitive to the number of undefined evars.