Skip to content

Coq Call 2022 09 21

Karl Palmskog edited this page Sep 14, 2022 · 10 revisions

Topics

  • RM for 8.17
  • Next steps for a potential renaming? (Théo)
  • Status of VSCoq until new document model/protocol (Karl)
Clone this wiki locally