Zulip Chat Archive

Stream: general

Topic: LeanCopilot

Notification Bot (Jan 06 2024 at 22:43):

This topic was moved to #Machine Learning for Theorem Proving > LeanCopilot by Scott Morrison.

Last updated: Dec 20 2025 at 21:32 UTC