Sina Hazratpour
Publications
Teaching
Lean
Talks
Notes
Meetings
Thoughts
Misc
Sina Hazratpour
Follow
Email
LinkedIn
Google Scholar
ORCID
Instagram
HoTTLean: Semantics of HoTT in Lean
Redirecting...
