spin-geometry

Here are 3 public repositories matching this topic...

alpha-squared-labs / Lean-Atiyah-Singer

Lean formalization of the Atiyah–Singer index theorem

math algebraic-topology differential-geometry mathlib index-theory lean4 k-theory spin-geometry atiyah-singer-index-theorem

Updated Nov 6, 2026
Lean

opensource120 / Some-Answers-to-Yau-s-120-open-problems-in-geometry

Star

This is a github repository for AI generated answers to Yau's 120 open problems in geometry. The owner of this repository claims no credit for these answers and has not checked the correctness of the answers. Anyone who intereseted may read the answers and make sense of them.

differential-geometry harmonic-maps minimal-surfaces spin-geometry yau-problems

Updated Nov 5, 2026
TeX

manueltarouca / geometric-unity-lean

Star

Machine-checked (Lean 4 + Mathlib) audit of the 2021 Geometric Unity draft: the time-orientation obstruction of the (7,7) chimeric bundle and its double-cover resolution

theorem-proving proof-assistant differential-geometry formalization formal-verification general-relativity mathematical-physics mathlib clifford-algebra lean4 fiber-bundles lorentzian-geometry geometric-unity spin-geometry

Updated Nov 1, 2026
Lean

Add this topic to your repo

To associate your repository with the spin-geometry topic, visit your repo's landing page and select "manage topics."

Learn more