frankl-conjecture

Here are 4 public repositories matching this topic...

simone-albanese / frankl-transitive-sat

Certified theorems closing the transitive case of Frankl's union-closed conjecture up to 15 points: no family invariant under any transitive permutation group on up to 15 points violates the conjecture. LRAT certificates, formally verified checking (cake_lpr). Sequel to frankl-cyclic-sat.

sat-solver computer-assisted-proof claude-code frankl-conjecture union-closed-sets transitive-groups

Updated Aug 15, 2026
Python

Fieldnote-Echo / frankl-conjecture-audit

Sponsor

Star

Audit of claimed proof mechanisms for Frankl's union-closed sets conjecture, with reproducible finite checks.

combinatorics reproducibility zenodo cc-by-4-0 frankl-conjecture union-closed-sets proof-audit math-co

Updated Jun 22, 2026
TeX

simone-albanese / frankl-cyclic-sat

Star

No rotation-symmetric counterexample to Frankl's union-closed sets conjecture on 13, 14 or 15 points — each case decided by two independent exact methods, with verified proof certificates (DRAT/LRAT). Together with its sequel, the transitive case is closed up to 15 points. Run by a Claude Code agent loop on a 16 GB laptop.

combinatorics sat-solver drat computer-assisted-proof claude-code frankl-conjecture union-closed-sets

Updated Aug 15, 2026
Shell

moffatstudio / union-closed-constant

Star

Code, logs, referee reports and independent re-certification for 'The ceiling of the single-letter entropy method for the union-closed sets conjecture, and a protocol that reaches it' (Moffat, 2026)

information-theory combinatorics computer-assisted-proof entropy-method frankl-conjecture union-closed-sets

Updated Sep 10, 2026
TeX

Add this topic to your repo

To associate your repository with the frankl-conjecture topic, visit your repo's landing page and select "manage topics."

Learn more