153
reputation
1
5
Ilya Vlasov
Graduate student at Kazan Federal University.
I'm interested in Category theory, Type theory and Mathematical logic.
0
answers
1
question
~85
people reached
-
Kazan, Russia
-
Member for 10 months
-
0 profile views
-
Last seen Oct 12 at 11:41
Communities (7)
Top network posts
We respect a laser-like focus on one topic.
Badges (6)
Gold
—
Silver
1
Rarest
-
Mar 11
