Kevin Kappelmann | Observable

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 for Observable notebooks