Craig Alan Feinstein (Apr 23 2025 at 02:10): Craig Alan Feinstein (Apr 23 2025 at 02:10):I've been working on Isabelle since July 2024, trying to prove the Bruck Ryser Chowla theorem as a challenge and a learning exercise. I'm on the last lemma (or maybe second to last), which happens to be the most challenging. I'm wondering if anybody would be willing to take a look at it and give me some suggestions. Thank you in advance.
Yutaka Nagashima (May 07 2025 at 18:18):@Craig Alan Feinstein
If you haven’t heard from others, it might be a good idea to add a link to your repository so they can see if they’re able to help. :thinking:
Last updated: May 18 2025 at 04:27 UTC