Proof of Kurz's conjecture (2008) on the maximum convex hull area of polyhexes. The result is now on arXiv, Palomar Registry, and OEIS A399934.
computational-geometry lean combinatorics oeis polyhexes mathematical-proof oeis-a399934 principia-math
-
Updated
Oct 27, 2026 - Lean