transitive-groups

Here is 1 public repository 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

Add this topic to your repo

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

Learn more