Coq Call 2021 09 22 - coq/coq GitHub Wiki

• September 22th 2021, 4pm-5pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• Discussion about https://github.com/coq/coq/pull/14903

Notes