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