Erdős Problem 1075: counterexamples for every r >= 5, with a complete Lean formalization
mathematics combinatorics formal-verification hypergraphs lean4 erdos-problems extremal-combinatorics erdos-1075 hypergraph-lagrangian turan-problems
-
Updated
Sep 8, 2026 - Lean