Lean 4 formalization of the algebraic foundations of axiomatic Gromov–Witten theory.
Lean Updated about 1 month ago 1 commits
sigma-ai|Mirror: jingxiangma/AxiomaticGW (⭐0)
about 1 month agoAbout
Lean 4 formalization of the algebraic foundations of axiomatic Gromov–Witten theory.
Readme