Lean repository linked
A streamlined proof of the Kakeya set conjecture in ℝ³
arXiv:2601.14411 · arXiv
Lean formalisations (1)
project-numina/kakeya-3d at a26427e3c2fc
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.