The avatar for @kappelmann
Kevin Kappelmann
PhD student interested in interactive theorem proving.
Published
Lean Templates
Edited
2 forks
1 star