Product
Learn
Community
Pricing
Search
Sign in
Sign up
Kevin Kappelmann
Lean Tutorials (Proof of Concept)
Public
Lean Tutorials (Proof of Concept)
Showing
1
listing
🖥️ Computations in Lean (proof of concept for Lean tutorials; incomplete tutorial)
Kevin Kappelmann
Jan 10, 2022
•
4
4