Lean 4

Watch and track your favorite playlist.

Curated by: Jasminlean (19 videos)

Currently Playing: Inequality Proofs via calc Blocks | Lean 4 Theorem Prover #19

I didn't prepare subtitles for this video. I tried to explain what is happening in the video itself. If you've watched my previous videos, it will help you understand. Stay coding! #Lean #maths #programming LinkedIn: https://www.linkedin.com/in/yasemin-t-5238bb433/ 📝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

Tracks in this Playlist