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: Dec 20 2025 at 21:32 UTC