The avatar for @kappelmann
Kevin Kappelmann
PhD student interested in interactive theorem proving.
Published
Lean Templates
Edited
Fork of Proof View Designer Template
More from Observable creators