Zulip Chat Archive
Stream: lean4
Topic: Debug grind_pattern
Jakub Nowak (Sep 08 2025 at 15:22):
(deleted)
Jakub Nowak (Sep 08 2025 at 16:03):
I've tried to move the topic to #general > Debug grind_pattern but I think this wasn't properly deleted.
Last updated: Dec 20 2025 at 21:32 UTC