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

Topics

• Discussion on Coq plugins and dune (findlib / sites) François Bobot will come to help!

  PR: Load plugins with findlib - #15220

• Future of bfs eauto https://github.com/coq/coq/issues/15300