Coq Call 2023 03 28 - rocq-prover/rocq GitHub Wiki
- March 28th 2023, 4pm Paris Time
- https://rdv2.rendez-vous.renater.fr/coq-call
Topics
- mlis and mlgs (https://github.com/coq/coq/pull/17293) (Gaëtan)
- Coq Calls and meetings management / chairing (Matthieu, 20min)