Member for 8 years, 5 months
Last seen more than 4 years ago
New Orleans, LA, United States
1st year Ph.D. student in Mathematics at Tulane University. I'm interested broadly in the interactions between logic, category theory, and type theory.
BadgesView all badges
This user hasn’t posted yet.
Top network postsView all network posts