Manuel Eberl

https://pruvisto.org [email protected]

University of Innsbruck Innsbruck Postdoc at University of Innsbruck. Mostly working in formalisation of mathematics and the automation thereof. Also dabbles in Haskell occasionally.