A Lean4 Formalization of Polynomial Functors
Repository from Github https://github.compitmonticone/PolyRepository from Github https://github.compitmonticone/Poly
