Kevin Kappelmann/...
Public

Lean Tutorials (Proof of Concept)

Showing 1 listing
thumbnail
🖥️ Computations in Lean (proof of concept for Lean tutorials; incomplete tutorial)
The avatar for @kappelmann
Kevin Kappelmann
Jan 10, 2022•4 4