Coq Call 2022 10 19 - coq/coq GitHub Wiki

• October 19th 2022, 4pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• issue forms https://github.com/coq/coq/pull/14621

Notes

Issue forms sound like a good idea. Minor refinements to make. But will need to be discussed again when ready to merge since we were only four (Enrico, Gaëtan, Pierre-Marie, Théo).