Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: I see - but it seems to me that Lean Copilot is only supp...

Daniel Rehsmann (Mar 14 2025 at 22:05):

(deleted)

Last updated: Feb 28 2026 at 14:05 UTC