Call 23 02 2023

Jump to bottom

Emilio Jesús Gallego Arias edited this page Feb 27, 2023 · 3 revisions

When and Where

https://rdv2.rendez-vous.renater.fr/coq-lsp
Monday February 23rd, 2pm Paris time

Notes (23/02/2023)

Call postponed due to ITP deadline extension.