Postdoc at University of Innsbruck. Mostly working in formalisation of mathematics and the automation thereof. Also dabbles in Haskell occasionally.
-
University of Innsbruck
- Innsbruck
- https://pruvisto.org
- @pruvisto
Highlights
- Pro
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.