alpha-squared-labs/Lean-Atiyah-Singer
Lean formalization of the Atiyah–Singer index theorem
GitHub repository with 15 stars and 4 forks.
Language: Lean
Topics: algebraic-topology, atiyah-singer-index-theorem, differential-geometry, index-theory, k-theory, lean4, math, mathlib, spin-geometry