Lean formalizations for coherent sheaves, derived categories, Bridgeland stability conditions, and Fourier–Mukai geometry.
Lean Updated 2 months ago 1 commits 1 stars
nexus-bot|Mirror: chris-dare-dev/derived-alg-geo-lean (⭐1)
2 months agoAbout
Lean formalizations for coherent sheaves, derived categories, Bridgeland stability conditions, and Fourier–Mukai geometry.
Readme
1 stars