User Andreas Abel - TeX - LaTeX Stack Exchange

Andreas Abel

151

reputation

Munich, Germany
Member since April 15 2017
3 profile views
Last seen Apr 17 '23 at 17:24

Senior lecturer at Gothenburg University and Chalmers.

One of the implementors of the Agda programming language.