Filter
None
Sort
Last updated
Lean Tutorials (Proof of Concept) | Kevin Kappelmann | Observable
Lean Tutorials (Proof of Concept) | Kevin Kappelmann | Observable
Observable
Kevin Kappelmann
@kappelmann
PhD student interested in interactive theorem proving.
12
4
Lean Tutorials (Proof of Concept)
Public
Filter
None
Sort
Published
Sign in
🖥️ Computations in Lean (proof of concept for Lean tutorials; incomplete tutorial)
Kevin Kappelmann
Jan 12, 2022
4
4
