CITATION.bib

@software{Monticone_LeanProject_2025,
         abstract     = {A template for blueprint-driven formalization projects in Lean.},
         author       = {Monticone, Pietro},
         institution  = {University of Trento},
         keywords     = {Lean4, Project Management, Formal Methods, Formal Verification, Theorem Proving, Interactive Theorem Proving, Proof Assistant, Mathematical Formalization, Formal Mathematics, Blueprint, Documentation, Template, Dependency Management, Continuous Integration, Automated Testing, Type Theory, Constructive Mathematics, Computer-Assisted Proof, Mathematical Software, Research Software Engineering},
         license      = {Apache License 2.0},
         title        = {LeanProject},
         year         = {2025}
         }