Emacs Stack Exchange
Emacs Stack Exchange

András Kovács
222
reputation
1
9
  • Member since May 02 2015
  • 4 profile views
  • Last seen Aug 24 '23 at 07:16

Type theory researcher at ELTE Budapest.