Coq Lsp Calls

Jump to bottom

Emilio Jesús Gallego Arias edited this page Jan 23, 2023 · 27 revisions

When and Where

https://rdv2.rendez-vous.renater.fr/coq-lsp
Monday, 5pm Paris time (tentative)

Calls

[Coq LSP Call 23/01/2023](Call 23 01 2023)
[Coq LSP Call 09/01/2023](Call 09 01 2023)