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: May 02 2025 at 03:31 UTC