Lean Templates | Kevin Kappelmann | Observable

Filter

Sort

Thumbnail

Thumbnail

Thumbnail

Lean Templates | Kevin Kappelmann | ObservableLean Templates | Kevin Kappelmann | Observable

Lean Templates

Filter

Sort

Kevin Kappelmann

@kappelmann

PhD student interested in interactive theorem proving.

12

4

0

Thumbnail

Steps Designer Template

Kevin Kappelmann

Sep 13, 2019

Thumbnail

Proof View Designer Template

Kevin Kappelmann

Jun 27, 2020

1