The avatar for @kappelmann

Kevin Kappelmann

PhD student interested in interactive theorem proving.
https://kappelmann.me

Public notebooks

Showing all 12 notebooks
thumbnail
🖥️ Computations in Lean (proof of concept for Lean tutorials; incomplete tutorial)
The avatar for @kappelmann
Kevin Kappelmann
Jan 10, 2022•4 4
thumbnail
General Utilities
The avatar for @kappelmann
Kevin Kappelmann
Sep 7, 2019
thumbnail
Tag Utilities
The avatar for @kappelmann
Kevin Kappelmann
Sep 7, 2019•1
thumbnail
Steps Designer Template This notebook is a fork
The avatar for @kappelmann
Kevin Kappelmann
Aug 28, 2019
thumbnail
Proof View Designer Template
The avatar for @kappelmann
Kevin Kappelmann
Aug 28, 2019•1
thumbnail
Lean Code Explainer
The avatar for @kappelmann
Kevin Kappelmann
Aug 28, 2019•3 2
thumbnail
Lean Editor With Local Storage
The avatar for @kappelmann
Kevin Kappelmann
Aug 27, 2019•5
thumbnail
Lean Step Editor Steps Creator
The avatar for @kappelmann
Kevin Kappelmann
Aug 27, 2019•1
thumbnail
Lean Quiz
The avatar for @kappelmann
Kevin Kappelmann
Aug 22, 2019•3
thumbnail
Lean Proof View
The avatar for @kappelmann
Kevin Kappelmann
Aug 21, 2019•3 3
thumbnail
Lean Utility Functions
The avatar for @kappelmann
Kevin Kappelmann
Aug 18, 2019•1
thumbnail
Lean Configuration
The avatar for @kappelmann
Kevin Kappelmann
Aug 18, 2019