Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: NEVER MIND. USE THIS STREAM NOW.
Jason Rute (Jan 14 2020 at 00:42):
We picked a bad name. Use this channel instead: https://leanprover.zulipchat.com/#narrow/stream/219942-Machine-Learning.20for.20Theorem.20Proving @Sebastian Ullrich Can you archive or delete this when you have a chance? Thanks!
Last updated: May 02 2025 at 03:31 UTC