Zulip Chat Archive
Stream: lean4
Topic: proofs
Notification Bot (Jun 21 2025 at 15:22):
2 messages were moved from this topic to #general > mu eq pi by Mario Carneiro.
Last updated: Dec 20 2025 at 21:32 UTC
2 messages were moved from this topic to #general > mu eq pi by Mario Carneiro.
Last updated: Dec 20 2025 at 21:32 UTC