Notebooks
Filter
None
Sort
Last updated
Observable
Sign in
Kevin Kappelmann
@kappelmann
PhD student interested in interactive theorem proving.
Filter
None
Sort
Published
Lean Configuration
Fork
Kevin Kappelmann
Dec 15, 2019
Lean Utility Functions
Fork
Kevin Kappelmann
Sep 13, 2019
1
Lean Proof View
Kevin Kappelmann
Jan 10, 2022
4
3
Lean Quiz
Kevin Kappelmann
Jan 26, 2021
3
Lean Step Editor Steps Creator
Kevin Kappelmann
Sep 17, 2021
1
Lean Editor With Local Storage
Kevin Kappelmann
Sep 10, 2019
5
Lean Code Explainer
Kevin Kappelmann
Dec 16, 2020
3
2
Proof View Designer Template
Kevin Kappelmann
Jun 27, 2020
1
Steps Designer Template
Fork
Kevin Kappelmann
Sep 13, 2019
Tag Utilities
Kevin Kappelmann
Dec 15, 2019
2
General Utilities
Kevin Kappelmann
Sep 7, 2019
🖥️ Computations in Lean (proof of concept for Lean tutorials; incomplete tutorial)
Kevin Kappelmann
Jan 12, 2022
4
4
