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: May 02 2025 at 03:31 UTC