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: Dec 20 2025 at 21:32 UTC