Formalization of Polynomial Functors in Lean 4Published bysinhp.github.ioon •1 min readEvent URL : SMS Spring Meeting on Formalization and Proof AssistantsFormalizationPolynomialFunctorsLeanLearn moreShareLegalReport
