• Topics
• Notes (from Matthieu)
• 8.12 update after branching
• Brief update about UI work (Emilio, if Hugo can attend)
• Emilio presents some timeline:
• 2019 Plans [after first coq-lsp prototype]
• 2020 Status
• Other topics:
• Discussion LSP commentary, Hugo's questions:
• More Discussion