31:47
🔍 YouTube Search Results for "lean libraries incomplete sets"
Found 14 results
21:59
24:03
25:52
Sebastian Ullrich - The Lean module system (Lean Together 2026)
leanprover community
536 views
View & Download
4:35
47:15
24:37
7:53
1:07:27
24:36
Johan Commelin - The Mathlib Initiative (Lean Together 2026)
leanprover community
318 views
View & Download
30:47
FMM2021: Geometry in Lean, a report for mathematicians - Nicolò Cavalleri w/ Anthony Bordg
leanprover community
1.3K views
View & Download
37:38
Lean for the Curious Mathematician 2023 Sets & Functions
leanprover community
1.2K views
View & Download
6:14
43:41