PhD student at LMU Munich, building Lean 4 automation.
-
LMU Munich
- Munich, Germany
-
11:24
(UTC +01: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.