Lean projects

fs-fltz-minimal: A Lean project on formalizing homological mirror symmetry for smooth toric Fano varieties.