GitHub - mviraj/mviraj.github.io: 📐 Formalize the Kakeya set problem in finite fields using Lean 4, demonstrating size bounds for Kakeya sets with AI-assisted proofs.

mviraj / mviraj.github.io Public

📐 Formalize the Kakeya set problem in finite fields using Lean 4, demonstrating size bounds for Kakeya sets with AI-assisted proofs.

github.com/mviraj/KakeyaFiniteFields

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
feudalism		feudalism
index.md		index.md

About

📐 Formalize the Kakeya set problem in finite fields using Lean 4, demonstrating size bounds for Kakeya sets with AI-assisted proofs.

github.com/mviraj/KakeyaFiniteFields

No releases published

No packages published