How Mathematicians can Get Started with Lean
31:47
How Mathematicians can Get Started with Lean
16.7K viewsFeb 27, 2025
YouTubeAlex Kontorovich
Lean Together 2025: Oliver Nash, Root systems and root data in Mathlib
29:54
Lean Together 2025: Oliver Nash, Root systems and root data in Mathlib
1.5K viewsJan 14, 2025
YouTubeleanprover community
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simple et Rapide)
5:43
Find in video from 00:46Installation de l'extension Lean 4
Installer et Utiliser Mathlib avec Lean 4 dans VS Code (Guide Simp…
250 viewsNov 22, 2024
YouTubeVic Help
Writing Math Proofs using Lean4 in Visual Studio Code
8:16
Writing Math Proofs using Lean4 in Visual Studio Code
5.2K viewsOct 12, 2022
YouTubeChris
LeanAide: Translation from natural langauge to Lean 4 and Mathlib 4
1:49
LeanAide: Translation from natural langauge to Lean 4 and Mathlib 4
193 viewsSep 7, 2023
YouTubeSiddhartha Gadgil
Is This the End of Handwritten Math? Introducing Lean
34:35
Is This the End of Handwritten Math? Introducing Lean
55.4K views6 months ago
YouTubeAnk Yog
【寝ながら学ぶ数学ラジオ】AIと数学の未来を拓く「Lean」と「mathlib」：証明の自動検証から世界規模の共同研究
21:41
【寝ながら学ぶ数学ラジオ】AIと数学の未来を拓く「Lean」と「mathlib」：証明の自動検証から世界規模の共同研究
15 views6 months ago
YouTube世界数学紀行ch
14:49
Fonctions et preuves, un premier exemple [Lean #1]
89 views2 months ago
YouTubeLipsum dot dev
7:05
Leanの入門教材に入門しよう！Mathematics in Lean4の環境構築方法
1.1K viewsMay 28, 2024
YouTube数学ボーイZ / SUGAKU BOY Z
1:18:06
Leonardo de Moura: "Lean 4: Empowering the Formal Mathematics Revolution and Beyond"
4.9K viewsSep 7, 2023
YouTubeTopos Institute
Seminar: Introduction to the Lean 4 theorem prover and programming language by Leonardo de Moura
1:18:08
Find in video from 01:02Overview of Lean 4
Seminar: Introduction to the Lean 4 theorem prover and programmin…
10K viewsFeb 15, 2023
YouTubeCertora
17:53
Les types inductifs [Lean #2]
8 views2 months ago
YouTubeLipsum dot dev
26:41
Fonctions récursives et terminaison [Lean #8]
4 views1 month ago
YouTubeLipsum dot dev
22:31
L'univers des propositions (Prop) [Lean #3]
45 views2 months ago
YouTubeLipsum dot dev
25:43
Autour du paradoxe de Curry [Lean #6]
46 views2 months ago
YouTubeLipsum dot dev
20:50
Let's code math | Lean4 | Theorem prover
24K viewsJul 30, 2024
YouTubeSplience
15:53
Lean4入门：安装配置篇
9.1K viewsMar 26, 2024
bilibilitimechess
51:30
Mini-Course on LEAN 4 (1/5)
717 viewsFeb 24, 2025
YouTubeInstitute for Mathematical Sciences
47:41
Lean4入门：MIL习题全讲（1）
3.6K viewsMar 26, 2024
bilibilitimechess
52:04
Lean4入门：引论篇
8.5K viewsMar 26, 2024
bilibilitimechess
1:22:21
Lean4入门：MIL习题全讲（5）
540 viewsApr 9, 2024
bilibilitimechess
1:36:44
Lean4入门：MIL习题全讲（7）
430 viewsApr 14, 2024
bilibilitimechess
31:57
定理を証明するプログラミング言語Leanって？環境構築、入門教材の紹介も！supported by Proxima Technology
3K viewsMay 23, 2024
YouTube数学ボーイZ / SUGAKU BOY Z
21:48
Programming with Math | The Lambda Calculus
406.6K viewsJun 14, 2024
YouTubeEyesomorphic
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
8:47
Find in video from 00:29The Problem with Lean Proofs
Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
18.1K viewsJun 26, 2024
YouTubeDavid Renshaw
17:55
An introduction to Lean 4, a functional programming language
13K viewsNov 19, 2021
YouTubeElixir, Erlang, the BEAM (and Lean)
14:41
Using the Lean Theorem Prover on CoCalc with VS Code and a Compute Server
376 viewsMay 10, 2024
YouTubeCoCalc by SageMath, Inc.
2:17:47
Lecture 3: Exploring Mathlib and More Lean Exercises (3 / 4)
194 views11 months ago
YouTubeDipartimento di Matematica UNIBO
41:36
Type somme, OU logique et principe du tiers exclu [Lean #7]
24 views1 month ago
YouTubeLipsum dot dev
See more