Stream: General

Topic: Asking for help

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.

Last updated: Apr 26 2025 at 12:36 UTC