Filter
None
Sort
Last updated
Observable
Kevin Kappelmann
@kappelmann
PhD student interested in interactive theorem proving.
12
4
Sign in
Lean Templates | Kevin Kappelmann | Observable
Lean Templates | Kevin Kappelmann | Observable
Lean Templates
Public
Filter
None
Sort
Published
Proof View Designer Template
Kevin Kappelmann
Jun 27, 2020
1
Steps Designer Template
Fork
Kevin Kappelmann
Sep 13, 2019
