Zulip Chat Archive
Stream: FoMM / Lean Together 2020
Topic: stream events
Notification Bot (Dec 28 2019 at 20:50):
Stream created by Rob Lewis.
Rob Lewis (Dec 28 2019 at 20:50):
Hi guys! Formal Methods in Mathematics / Lean Together 2020 is just around the corner. Let's use this stream to coordinate things.
Patrick Massot (Dec 28 2019 at 20:50):
First!
Last updated: May 02 2025 at 03:31 UTC