←
Back to Open Source
🐙 GitHub Detail
K
math-inc/KakeyaFiniteFields
By math-inc
A complete Lean 4 formalization of the Kakeya set problem over finite fields
GitHub
Lean
Updated 13 Apr 2026
Live Snapshot
⭐
Stars
19
🍴
Forks
2
📄
License
Unknown
🧩
Type
Lean
📘
About this open-source project
Live information fetched from GitHub.
A complete Lean 4 formalization of the Kakeya set problem over finite fields
🌿
Default Branch
main
🐞
Open Issues
0
👀
Watchers
19