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:
Craig Alan Feinstein (May 28 2025 at 13:52):Where do people usually put their repositories? I don’t have my stuff online.
Yutaka Nagashima (May 29 2025 at 15:44):I guess:
Mathias Fleury (May 29 2025 at 16:02):heptapod where the AFP lives deserves to be mentioned too.
Mathias Fleury (May 29 2025 at 16:02):There are many others (bitbucket, gitlab, ...), but github (and partially gitlab because it can be hosted) are winning
Yutaka Nagashima (Jun 01 2025 at 14:01):@Craig Alan Feinstein
Unsolicited advice: you should think carefully about which license to use before open-sourcing. :thinking:
Craig Alan Feinstein (Jun 01 2025 at 19:24):I just created a Github account.
Last updated: Jun 08 2025 at 08:25 UTC