Zulip Chat Archive
Stream: LFTCM 2024
Topic: stream events
Notification Bot (Mar 16 2024 at 09:05):
Web-public stream created by Riccardo Brasca. Description:
Lean for the curious mathematician 2024
Riccardo Brasca (Mar 25 2024 at 11:28):
Be sure to be on time for lunch!
Anatole Dedecker (Mar 29 2024 at 14:49):
Thanks again to everyone for this wonderful week !
Riccardo Brasca (Mar 29 2024 at 15:13):
Thanks to everybody!
Last updated: May 02 2025 at 03:31 UTC