Call 23 02 2023

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.