Zulip Chat Archive
Stream: lean4
Topic: who can help me formalize this solution
Notification Bot (Oct 30 2024 at 17:32):
This topic was moved to #new members > who can help me formalize this solution by Kyle Miller.
Last updated: May 02 2025 at 03:31 UTC