Lean 4

Watch and track your favorite playlist.

Curated by: Jasminlean (19 videos)

---

Tracks in this Playlist

• Inequality Proofs via calc Blocks | Lean 4 Theorem Prover #19
• Inequality with Exponential | Lean 4 Theorem Prover #18 | Subtitles Available🌏
• Understanding rfl | Lean 4 Theorem Prover #17 | Subtitles Available🌏
• Understanding the apply Tactic | Lean 4 Theorem Prover #16 | Subtitles Available🌏
• Understanding have & rw | Lean 4 Theorem Prover #15 | Subtitles Available🌏
• How to Use nth_rw | Lean 4 Theorem Prover #14 | Subtitles Available🌏
• Understanding Hypotheses Manipulation | Lean 4 Theorem Prover #13 | Subtitles Available🌏
• Understanding "calc" Block | Lean 4 Theorem Prover #12 | Subtitles Available🌏
• Proving -a + (a + b) = b | rw Tactic Example | Lean 4 Theorem Prover #11 | Subtitles Available🌏
• An example of rw (rewrite) tactic | Lean 4 Theorem Prover #10 | Subtitles Available🌏
• Creating Namespaces and Theorems | Lean 4 Theorem Prover #9 | Subtitles Available🌏
• Ring | Lean 4 Theorem Prover #8 | Subtitles Available🌏
• How to find Mathlib commands | Lean 4 Theorem Prover #7 | Subtitles Available🌏
• #check | Lean 4 Theorem Prover #6 | Subtitles Available🌏
• Code Examples in the Mathematics in Lean Book | Lean 4 Theorem Prover #5 | Subtitles Available🌏
• Sorry 💻 | Lean 4 Theorem Prover #4 | Subtitles Available🌏
• Whitespaces | Lean 4 Theorem Prover #3 | Subtitles Available🌏
• Using Library 📚 | Lean 4 Theorem Prover #2 | Subtitles Available🌏
• Proof of " a x b x c = b x (a x c) "💻 | Lean 4 Theorem Prover #1 | Subtitles Available🌏