Coq Lsp Calls

When and Where

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

Next Calls

• Coq LSP Call 24/04/2023

Calls

• Coq LSP Call 03/04/2023
• Coq LSP Call 06/03/2023
• Coq LSP Call 27/02/2023
• Coq LSP Call 23/02/2023
• Coq LSP Call 23/01/2023
• Coq LSP Call 09/01/2023