Coq Lsp Calls

When and Where

• https://rdv2.rendez-vous.renater.fr/coq-lsp Update, renater login seems broken, we meeting instead at https://wesleyan.zoom.us/j/94445291653?pwd=d1Y3enFZVW83b3lxaUZuczFIY0szZz09
• Monday, 5pm Paris time (tentative)

Calls

• Coq LSP Call 23/01/2023
• Coq LSP Call 09/01/2023