Sina Hazratpour
Publications
Teaching
Lean
Notes
Meetings
Talks
Thoughts
Misc
Sina Hazratpour
Follow
Johns Hopkins
Email
Twitter
LinkedIn
Instagram
Google Scholar
ORCID
Displayed and Fibred Categories in Lean4
Published:
November 01, 2023
Direct Link
Previous
Next
