Lean 4

Watch and track your favorite playlist.

Curated by: Jasminlean (19 videos)

Currently Playing: Proof of " a x b x c = b x (a x c) "💻 | Lean 4 Theorem Prover #1 | Subtitles Available🌏

#Lean #maths #programming 🌏Please turn on the subtitles.🙋‍♀️ 💻The code in this video: https://github.com/fizikzedenin-kodlari/Jasminlean/blob/main/1.video_Jasminlean.lean 📝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