Mathematics

András Kovács
1,245
reputation
8
11
  • Member since October 31 2014
  • 170 profile views
  • Last seen Jan 01 '26 at 00:24

Type theory researcher at ELTE Budapest.