101
reputation
1
3

Ilya Vlasov

Graduate student at Kazan Federal University.
I'm interested in Category theory, Type theory and Mathematical logic.

  • Kazan, Russia
  • Member for 3 years, 3 months
  • 3 profile views
  • Last seen Oct 15 at 5:17