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: Dec 20 2023 at 11:08 UTC