Zulip Chat Archive
Stream: general
Topic: mascot
Dean Young (Feb 24 2023 at 03:58):
Mascot of Coq is the Cock
Mascot of Python is the Python
Mascot of Lean is the snail? :snail:
Last updated: May 02 2025 at 03:31 UTC
Mascot of Coq is the Cock
Mascot of Python is the Python
Mascot of Lean is the snail? :snail:
Last updated: May 02 2025 at 03:31 UTC