Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: yes
Notification Bot (Jul 08 2024 at 23:07):
This topic was moved to #new members > Marek by Eric Wieser.
Last updated: Dec 20 2025 at 21:32 UTC
This topic was moved to #new members > Marek by Eric Wieser.
Last updated: Dec 20 2025 at 21:32 UTC