Skip to content

Coq Call 2022 11 30

Matthieu Sozeau edited this page Nov 29, 2022 · 8 revisions

Topics

  • Organization/time of the Coq Call (Matthieu, 10min)
  • Voting process (Matthieu, 5min)

Clone this wiki locally