Geeks
sinhp
/
Poly
A Lean4 Formalization of Polynomial Functors
Primary Language
Lean
Poly GitHub
Markdown
Readme
0
Issues
15
Stargazers
9
Watchers
No issues in this repository yet.