Lean 4

Watch and track your favorite playlist.

Curated by: Jasminlean (19 videos)

Currently Playing: Code Examples in the Mathematics in Lean Book | Lean 4 Theorem Prover #5 | Subtitles Available🌏

#Lean #maths #programming 🌏Please turn on the subtitles.🙋‍♀️ The book: https://lean-lang.org/learn/ 📝Blog: https://medium.com/@LeanOnMath 🐱GitHub: https://github.com/fizikzedenin-kodlari 🍀🫶To support me with $5/month on Patreon: https://www.patreon.com/TurnOnTheLightsInHere/gift 🤖Stay With Coding!👩‍💻👨‍💻

Tracks in this Playlist