Stats
3,093
reputation
0
reached
0
answers
0
questions
Loading…
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
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
-
Yearling
× 8Jan 19
2
bronze badges
-
SupporterApr 4, 2016
-
AutobiographerMar 26, 2016
Posts
This user hasn’t posted yet.
Top network posts
View all network posts