Sina Hazratpour
Research
Teaching
Meetings
Thoughts
Other Places
Sina Hazratpour
Follow
Johns Hopkins
Email
Twitter
LinkedIn
Instagram
Google Scholar
ORCID
Formalization of Condensed Mathematics
Website of the meeting
Lean4 Repo
Leave a Comment
Leave a Comment