Collections
Sort
Last updated
Observable
Sign in
Kevin Kappelmann
@kappelmann
PhD student interested in interactive theorem proving.
Sort
Stars
Lean Templates
(2)
Kevin Kappelmann
Aug 28, 2019
1
Utilities
(2)
Kevin Kappelmann
Sep 7, 2019
2
Lean Tutorials (Proof of Concept)
(1)
Kevin Kappelmann
Jan 10, 2022
4
Lean Utilities
(7)
Kevin Kappelmann
Aug 18, 2019
17
