Skip to content

Coq Call 2020 04 01

Théo Zimmermann edited this page Mar 26, 2020 · 1 revision

Topics

  • Should we come back to organizing regular remote one-day WG? (Théo)
Clone this wiki locally
You can’t perform that action at this time.