Filter
None
Sort
Last updated
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
12
4
0
Follow
🖥️ Computations in Lean (proof of concept for Lean tutorials; incomplete tutorial)
Kevin Kappelmann
Jan 12, 2022
4
4
