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