Geeks
sinhp
/
Poly
A Lean4 Formalization of Polynomial Functors
Primary Language
Lean
Poly GitHub
Markdown
Readme
0
Issues
14
Stargazers
9
Watchers
Stargazers
TOTBWF
Hamilton, ON
dannypsnl
Taiwan
DasNaCl
Germany
tkersey
Los Angeles, CA
david-wang-0
GuiBrandt
Campinas, SP - Brazil
joewatt95
cilinder
Slovenija
skaslev
Sofia, Bulgaria
Vtec234
Pittsburgh, USA
thchatzidiamantis
Rida-Hamadani
Beirut, Lebanon
grue-bleen
chenson2018