Stats
485
reputation
0
reached
0
answers
0
questions
Loading…
About
I'm a computer science undergrad at the University of Illinois. My interests include formal program verification, dependently typed programming, categorical logic, homotopy theory, algebraic geometry, and constructive mathematics.
Badges
View all badges
This user doesn’t have any gold badges yet.
2
-
Yearling
× 2Nov 14, 2019
1
-
AutobiographerDec 13, 2015
Posts
This user hasn’t posted yet.
Top network posts
View all network posts