The avatar for @kappelmann
Kevin Kappelmann
PhD student interested in interactive theorem proving.
Published
Lean Tutorials (Proof of Concept)
Edited
4 Likes
More from Observable creators