GitHub repository: sinhp/Poly
Primary language: Lean
Description: A Lean4 Formalization of Polynomial Functors