Coq Call 2023 01 11 - rocq-prover/rocq GitHub Wiki

• January 11th 2023, 4pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• In person WG update (All?)
• Presentation of coq-lsp for Developers (Emilio)
• Status of "Back"/"Undo" don't undo syntax extensions"