Product
Learn
Community
Pricing
Search
Sign in
Sign up
Kevin Kappelmann
PhD student interested in interactive theorem proving.
https://kappelmann.me
Public notebooks
Public collections
Public collections
Showing all
4
collections
Lean Templates
(2)
Lean Tutorials (Proof of Concept)
(1)
Lean Utilities
(7)
Utilities for Lean Notebooks
Utilities
(2)
Utilities for Observable notebooks
