A Machine-Certified Proof of Frankl’s Conjecture via Collision-Restitution Invariants.
reflection mirror mirrors dynamic-analysis combinatorics invariants symmetry lattice formal-verification equilibrium formal-proofs collisions mathlib restitution lean4 conjecture-solving ai-augmented-research union-closed-sets-conjecture frankl-s-conjecture injective-mapping-function
-
Updated
May 11, 2026 - Lean