Sina Hazratpour
Publications
Teaching
Lean
Notes
Meetings
Talks
Thoughts
Misc
Sina Hazratpour
Follow
Johns Hopkins
Email
LinkedIn
Google Scholar
ORCID
Instagram
Twitter
A Lean4 Formalization of Polynomial Functors
Published:
May 13, 2024
Direct Link
Previous
Next
