Zulip Chat Archive
Stream: Emacs
Topics:
- Meta (2 messages, latest: Feb 25 2026 at 20:03)
- I love the emacs experience with lean (4 messages, latest: Feb 25 2026 at 17:08)
- How to disable Lean server in Emacs lean4-mode? (5 messages, latest: Feb 20 2026 at 08:28)
- Vim 9 plugins for Lean (2 messages, latest: Jan 28 2026 at 18:03)
- nael-mode Doom Configuration (2 messages, latest: Jan 22 2026 at 21:19)
- Semantic Tokens (23 messages, latest: Jan 22 2026 at 21:04)
- Acme editor (1 message, latest: Oct 07 2025 at 02:49)
- Conveniently tweaking input method (1 message, latest: Oct 03 2025 at 16:00)
- indentation (12 messages, latest: Sep 01 2025 at 17:53)
- ✔ Development: Maintainership (26 messages, latest: Sep 01 2025 at 16:45)
- emacs-gtk 29.3 missing leim input support: breaks Lean 4 inp (4 messages, latest: Jul 09 2025 at 14:57)
- lean4-minimal-mode (48 messages, latest: Jul 06 2025 at 17:46)
- Pause updating the goal buffer and leave it open? (6 messages, latest: Jun 20 2025 at 20:11)
- inlayHint (32 messages, latest: Jun 20 2025 at 18:26)
- ✔ Problem with scrolling infoview (9 messages, latest: Jun 19 2025 at 23:59)
- Breaking changes (4 messages, latest: Jun 04 2025 at 22:01)
- lean4-lake-find-dir (10 messages, latest: Jun 02 2025 at 08:17)
- lean4-dev (4 messages, latest: Jun 01 2025 at 19:29)
- Dev: Inlay Hint Refresh Request (7 messages, latest: Apr 24 2025 at 19:26)
- ✔ Dev: Inlay Hint Refresh Requests (2 messages, latest: Apr 24 2025 at 19:26)
- Work arounds for using the Mathcal letter? (17 messages, latest: Apr 23 2025 at 22:42)
- ✔
lean4-autodetect-lean3and cleanup (17 messages, latest: Apr 23 2025 at 22:34) - ✔ Survey: Anyone customizing Lean4 input-method? (12 messages, latest: Apr 23 2025 at 22:10)
- ✔ thanks + a few thoughts (12 messages, latest: Apr 23 2025 at 22:10)
- ✔ Dev: Internal Cleanup (Milestone 2) (8 messages, latest: Apr 23 2025 at 22:10)
- ✔ Development: Roadmap (7 messages, latest: Apr 23 2025 at 22:09)
- ✔ Dev: Repair Status Quo (Milestone 1) (6 messages, latest: Apr 23 2025 at 22:09)
- ✔ Support: Use Emacs for Lean? (17 messages, latest: Apr 23 2025 at 22:09)
- ✔ channel events (2 messages, latest: Apr 23 2025 at 22:08)
- ✔ Doom Lean 4 mode (4 messages, latest: Apr 23 2025 at 22:08)
- reftex interference (2 messages, latest: Dec 28 2024 at 16:00)
- org-mode (11 messages, latest: Dec 28 2024 at 14:17)
- ✔ What should my .emacs contain? (3 messages, latest: Dec 14 2024 at 10:34)
- Types not fitting into echo area (10 messages, latest: Dec 14 2024 at 04:38)
- ✔ lsp-mode errors due to list != hash-table (43 messages, latest: Dec 10 2024 at 20:03)
- ✔ Lean input method after keymap (14 messages, latest: Dec 05 2024 at 19:18)
- ✔ The connected server(s) does not support method $/lean/… (15 messages, latest: Nov 26 2024 at 12:55)
Last updated: Feb 28 2026 at 14:05 UTC