@software{FLT_Lean,
         abstract     = {An ongoing Lean formalization of Fermat's Last Theorem.},
         author       = {Buzzard, Kevin and Taylor, Richard},
         institution  = {Imperial College London},
         keywords     = {Fermat's Last Theorem, Fermats Last Theorem, Lean, Lean4, Formal Methods, Formal Verification, Theorem Proving, Interactive Theorem Proving, Proof Assistant, Mathematical Formalization, Formal Mathematics, Blueprint, Type Theory, Computer-Assisted Proof, Mathematical Software, Research Software Engineering},
         license      = {Apache License 2.0},
         title        = {{FLT}},
         year         = {2025}
         }