Mathematics Stack Exchange
Mathematics Stack Exchange

András Kovács
1,121
reputation
  • Member since October 31 2014
  • 139 profile views
  • Last seen Mar 25 '24 at 11:02

Type theory researcher at ELTE Budapest.