PhD student at LMU Munich, building Lean 4 automation.
-
LMU Munich
- Munich, Germany
-
21:17
(UTC +02:00) - https://limperg.de
- https://orcid.org/0000-0002-8861-5231
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.