The avatar for @kappelmann
Kevin Kappelmann
PhD student interested in interactive theorem proving.
Published
Lean Utilities
Edited
1 fork
Importers
3 stars