Zulip Chat Archive

Stream: general

Topic: Emacs lean4-mode maintenance

Notification Bot (Nov 14 2024 at 17:04):

This topic was moved to #Emacs > Emacs lean4-mode maintenance by Yury G. Kudryashov.

Last updated: Feb 28 2026 at 14:05 UTC