Filter
None
Sort
Last updated
Observable
Kevin Kappelmann
@kappelmann
PhD student interested in interactive theorem proving.
12
4
Sign in
Lean Utilities | Kevin Kappelmann | Observable
Lean Utilities | Kevin Kappelmann | Observable
Lean Utilities
Public
Utilities for Lean Notebooks
Filter
None
Sort
Published
Lean Configuration
Fork
Kevin Kappelmann
Dec 15, 2019
Lean Proof View
Kevin Kappelmann
Jan 10, 2022
4
3
Lean Utility Functions
Fork
Kevin Kappelmann
Sep 13, 2019
1
Lean Quiz
Kevin Kappelmann
Jan 26, 2021
3
Lean Editor With Local Storage
Kevin Kappelmann
Sep 10, 2019
5
Lean Step Editor Steps Creator
Kevin Kappelmann
Sep 17, 2021
1
Lean Code Explainer
Kevin Kappelmann
Dec 16, 2020
3
2
