128
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
~77
people reached
-
Kazan, Russia
-
Member for 5 months
-
0 profile views
-
Last seen Jul 10 at 8:43
Communities (7)
Top network posts
We respect a laser-like focus on one topic.
Badges (6)
Gold
—
Silver
1
Rarest
-
Mar 11
