Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: stream events
Notification Bot (Jan 14 2020 at 00:14):
Stream created by Jason Rute.
Notification Bot (Jan 14 2020 at 00:58):
Mario Carneiro renamed stream ML & AI for TP to Machine Learning for Theorem Proving.
Notification Bot (Mar 13 2023 at 05:09):
Scott Morrison changed the access permissions for this stream from Public to Web-public.
Last updated: Dec 20 2023 at 11:08 UTC