Stack Overflow
Stack Overflow

András Kovács
29,931
reputation
3
53
99
  • Member since November 27 2011
  • 1656 profile views
  • Last seen Sep 03 '23 at 09:01

Type theory researcher at ELTE Budapest.