Winter 2023 Call

Jump to bottom

Emilio Jesús Gallego Arias edited this page Nov 7, 2023 · 1 revision

When and Where

Where: https://rdv2.rendez-vous.renater.fr/coq-lsp
When: 5pm CET, Monday, Winter 2023

Agenda

TBD

Notes