8:47
🔍 YouTube Search Results for "lean 4"
Found 16 results
11:54
2:58
2:40
4:27
10:45
Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4
David Renshaw
3.5K views
View & Download
23:30
Lean 4 formalization of 1964 International Mathematical Olympiad Problem 4
David Renshaw
2.1K views
View & Download
6:39
31:47
34:35
7:53
8:21
11:17
Lean 4 formalization of 1964 International Mathemetical Olympiad Problem 1b
David Renshaw
2.4K views
View & Download
41:19
Metaprogramming Your IDE in Lean 4 with Harry Goldstein
Software Unscripted Podcast
2.9K views
View & Download
33:09
20:50