Emacs Stack Exchange
Emacs Stack Exchange

András Kovács
232
reputation
2
9
  • Member since May 02 2015
  • 4 profile views
  • Last seen Mar 10 '24 at 20:30

Type theory researcher at ELTE Budapest.