* Lean Together 2024 (updated 2024-12-05) ~ youtor.org

Lean Together 2024 (updated 2024-12-05)

weeks name [upl. by Hulbard700]
Duration: 0:25
15 views | 1 month ago
Lean Improvements 15th November 2024 [upl. by Christye]
Duration: 4:07
346 views | 2 weeks ago
Lean Together 2024 Emina Torlak Cedar [upl. by Tevis580]
Duration: 1:01:17
1.2K views | 11 months ago
Lean Together 2024 Sophie Morel Formalising Grassmannians in Lean [upl. by Ulu]
Duration: 28:50
215 views | 10 months ago
Lean Together 2024 Joël Riou Overview of Homology in Mathlib [upl. by Imeon]
Duration: 29:35
175 views | 10 months ago
Lean Together 2024 Jireh Loreaux Operator algebras in Mathlib [upl. by Efioa307]
Duration: 31:35
488 views | 10 months ago
Lean Together 2024 Joe Hendrix Lean Standard Library 2024 [upl. by Nedarb]
Duration: 22:45
480 views | 10 months ago
Lean Together 2024 Bhavik Mehta Formalisation of combinatorics [upl. by Lamrouex877]
Duration: 28:29
158 views | 10 months ago
Lean Together 2024 Wrenna Robson Permutations on bitvectors [upl. by Eiliah]
Duration: 33:24
433 views | 10 months ago
Lean Together 2024 Yicheng Qian Leanauto [upl. by Brewster]
Duration: 27:56
86 views | 1 week ago
Lean [upl. by Anerual]
Duration: 2:00
893 views | 10 months ago
My Thoughts on The 2024 ElectionWhere I Lean on The Subject [upl. by Llenrub]
Duration: 8:13
2.3K views | 4 weeks ago
Lean Together 2024 Alex J Best Leaff a Lean diff tool [upl. by Suryt]
Duration: 30:17
187 views | 2 months ago
Lean N Rock [upl. by Flss29]
Duration: 2:05
23.9K views | 1 month ago
Lean on Me [upl. by Adnalohs]
Duration: 3:21
745 views | 6 Jan 2021
Lean Together 2021 Formalising matroids [upl. by Simpson]
Duration: 46:51
13 views | 2 weeks ago
Better Together [upl. by Henryson]
Duration: 0:11
4.9K views | 1 month ago
Better Together [upl. by Ymrej366]
Duration: 1:10
|





Our site allows you to download your favorite videos in MP3 (audio) or MP4 (video) format in the most efficient way. You can find your favorite videos using "search" to download them.


Content Report
youtor.org / Youtor Videos converter © 2024