Stats
111
reputation
0
reached
0
answers
0
questions
About
1st year Ph.D. student in Mathematics at Tulane University. I'm interested broadly in the interactions between logic, category theory, and type theory.
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
-
AutobiographerMar 26, 2016
Posts
This user hasn’t posted yet.
Top network posts
View all network posts