Coq Lsp Calls

When and Where

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

Next Calls

note: due to ITP deadline, next call will be on Tue Feb 21st, 6pm Paris time.

• Coq LSP Call 21/01/2023
• Coq LSP Call 27/01/2023

Calls

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