Zulip Chat Archive

Stream: Editors & UIs

Additional LSP server capabilities (5 messages, latest: Feb 27 2026 at 21:57)
Built-in Lean formatter (15 messages, latest: Feb 26 2026 at 18:23)
Syntax highlighting bug makes everything blue (3 messages, latest: Feb 16 2026 at 09:09)
Lean-TUI (self-contained infoview) (51 messages, latest: Feb 14 2026 at 10:53)
keep focus in editor after clicking [apply] (19 messages, latest: Feb 05 2026 at 18:52)
Unicode math input via OS instead of editor (32 messages, latest: Feb 04 2026 at 01:14)
Ways to articulate policies on AI generated README files (16 messages, latest: Feb 01 2026 at 18:07)
lean.nvim (932 messages, latest: Feb 01 2026 at 07:59)
channel events (1 message, latest: Jan 31 2026 at 09:15)

Last updated: Feb 28 2026 at 14:05 UTC