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