Lean 4

Watch and track your favorite playlist.

Curated by: Jasminlean (19 videos)

Currently Playing: How to find Mathlib commands | Lean 4 Theorem Prover #7 | Subtitles Available🌏

#Lean #maths #programming 🌏Please turn on the subtitles.🙋‍♀️ 📝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