Kakutani fixed-point theorem and Brouwer fixed-point theorem formalized and proven in Lean 4
-
Updated
Jul 28, 2026 - Lean
#
theorem-verification
Here are 2 public repositories matching this topic...
Convergence-theoretic reformulation of the Hodge Conjecture for K3 surfaces, with flow-based projection methods, numerical experiments, and symbolic generalizations to abelian varieties and Calabi–Yau threefolds.
mathematics algebraic-geometry symbolic-math mathematical-physics k3-surfaces cohomology math-research numerical-experiments sage-math calabi-yau hodge hodge-conjecture abelian-varieties hodge-theory gauss-manin millennium-problem theorem-verification convergence-theory
-
Updated
Apr 22, 2025
Add this topic to your repo
To associate your repository with the theorem-verification topic, visit your repo's landing page and select "manage topics."