Coq Call 2023 03 01 - coq/coq GitHub Wiki

• February 29nd 2023, 4pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• 8.18 release planning (Gaëtan)

Notes

• 8.18 voluntary release managers: Enrico Tassi and Maxime Dénès. Branching expected end of may. Will include SProp type inference fixes, VSCoq backend support, ...