Zulip Chat Archive

Stream: general

Topic: Nickname for Lean Users

Notification Bot (Feb 25 2025 at 11:09):

This topic was moved to #general > official name for lean user by Eric Wieser.

Last updated: Dec 20 2025 at 21:32 UTC