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: Dec 20 2023 at 11:08 UTC
Mascot of Coq is the Cock
Mascot of Python is the Python
Mascot of Lean is the snail? :snail:
Last updated: Dec 20 2023 at 11:08 UTC