A Lean4 Formalization of Polynomial Functors
Published:
Polynomial Functors categorify polynomial functions. This repository provides a Lean 4 formalization of the theory of Polynomial Functors.
Published:
Polynomial Functors categorify polynomial functions. This repository provides a Lean 4 formalization of the theory of Polynomial Functors.