Kakutani fixed-point theorem and Brouwer fixed-point theorem formalized and proven in Lean 4
-
Updated
Oct 26, 2026 - Lean
#
theorem-verification
Here are 4 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
Breach - an adversarial math-checking agent. It tries to BREAK your proof with real solvers (Z3/SymPy) and tells you honestly when it cannot resolve something.
z3 edition sympy smt-solver 4th mathematical-reasoning mathematical-proof theorem-verification annual-open-scientific-intelligence-hackathon
-
Updated
Nov 3, 2026 - Python
Apex Math 悬赏论文（凸 Nivat 附录 C.2）的独立精确验证：1000 组配置 × 8 个窗口，0 违例
-
Updated
Nov 3, 2026 - Python
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."