Mathematics Stack Exchange
Mathematics Stack Exchange

András Kovács
1,225
reputation
8
11
  • Member since October 31 2014
  • 160 profile views
  • Last seen Jul 06 '25 at 23:16

Type theory researcher at ELTE Budapest.