Skip to content

Coq Call 2024 08 27

Thomas Lamiaux edited this page Aug 20, 2024 · 8 revisions

Topics

  • removing no longer used compat infrastructure (Pierre Roux, 15 min)
  • 8.20 changelog #19281 (Pierre Roux, 15 min)
  • moving Coq Platform Docs to the Coq's or Coq Platform's organization (Thomas Lamiaux, 15 min)

Roles

  • Chairman: ?
  • Secretary: ?

Notes

Clone this wiki locally