Coq Lsp Calls

When and Where

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

Next Calls

note: due to ITP deadline, next call will be on Thu Feb 23st, 2pm Paris time.

• Coq LSP Call 27/02/2023
• Coq LSP Call 06/03/2023

Calls

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