Zulip Chat Archive
Stream: maths
Topic: stream events
Notification Bot (Mar 14 2022 at 20:01):
Mario Carneiro changed the access permissions for this stream from Public to Web-public.
Notification Bot (Aug 22 2023 at 11:25):
Scott Morrison changed the description for this stream.
- Old description:
mathlib / maths
- New description:
Discussion of mathematics relevant to Mathlib or formalization in Lean.
Last updated: Dec 20 2023 at 11:08 UTC