Coq Call 2022 03 16 - coq/coq GitHub Wiki

• March 16, 2022, 4pm-5pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• RM for 8.16

• Process for creating the roadmap:

  • Gather wishlist and current projects
  • Discuss overall objectives that the core team agrees upon
  • Discuss priorities to be taken, taking input from the community

Notes

• RM will be Pierre-Marie. 15th of may freezing, in 2 month. Gaëtan will be co-manager.