Youtor
Lean Together 2024 (updated 2024-12-05)
![Lean Together 2024 Andrew Yang Fermats Last Theorem for regular primes case II [upl. by Coshow]](img.php?img=imgidxEj90fiGVJI)
Duration: 26:52
361 views | 10 months ago
361 views | 10 months ago
![weeks name [upl. by Hulbard700]](img.php?img=imgidvYoBVyXWh8M)
![Lean Improvements 15th November 2024 [upl. by Christye]](img.php?img=imgidGKLQGs5NBFA)
![Lean Together 2024 Emina Torlak Cedar [upl. by Tevis580]](img.php?img=imgidKC6rlcsHUVs)
![Lean Together 2024 Sophie Morel Formalising Grassmannians in Lean [upl. by Ulu]](img.php?img=imgidXyfBxz8LYzc)
Duration: 28:50
215 views | 10 months ago
215 views | 10 months ago
![Lean Together 2024 Patrick Massot Community news and workshop introduction [upl. by Cinomod]](img.php?img=imgidQdZMqyBig9I)
Duration: 14:55
4 views | 11 months ago
4 views | 11 months ago
![Lean Together 2024 Joël Riou Overview of Homology in Mathlib [upl. by Imeon]](img.php?img=imgid6FLmQwhQlwA)
Duration: 29:35
175 views | 10 months ago
175 views | 10 months ago
![Lean Together 2024 Jireh Loreaux Operator algebras in Mathlib [upl. by Efioa307]](img.php?img=imgidkjBDkH10OnQ)
Duration: 31:35
488 views | 10 months ago
488 views | 10 months ago
![Lean Together 2024 Joe Hendrix Lean Standard Library 2024 [upl. by Nedarb]](img.php?img=imgid1SjsTzPx_S8)
![Lean Together 2024 Bhavik Mehta Formalisation of combinatorics [upl. by Lamrouex877]](img.php?img=imgid_lBFks9lI2k)
Duration: 28:29
158 views | 10 months ago
158 views | 10 months ago
![Lean Together 2024 Wrenna Robson Permutations on bitvectors [upl. by Eiliah]](img.php?img=imgidtV7de8jUJCU)
Duration: 33:24
433 views | 10 months ago
433 views | 10 months ago
![Lean Together 2024 Yicheng Qian Leanauto [upl. by Brewster]](img.php?img=imgidaR7Wv_CfkB4)
![Lean [upl. by Anerual]](img.php?img=imgidBW-ltKOnAY8)
![Lean Together 2024 Evgenia Karunus and Anton Kovsharov Paperproof visualising mathematical proof [upl. by Ariek]](img.php?img=imgidDWuAGt2RDaM)
Duration: 28:31
188 views | 3 weeks ago
188 views | 3 weeks ago
![Lean Together 2024 David Thrane Christiansen Verso Documentation as a DSL [upl. by Nylave294]](img.php?img=imgiddv_vmVs3SQQ)
Duration: 33:01
831 views | 10 months ago
831 views | 10 months ago
![My Thoughts on The 2024 ElectionWhere I Lean on The Subject [upl. by Llenrub]](img.php?img=imgidEAONEfK2H4E)
![Lean Together 2024 Kaiyu Yang Large Language Models as Copilots for Theorem Proving in Lean [upl. by Broddie]](img.php?img=imgid7NAIXBANSj4)
Duration: 29:52
242 views | 10 months ago
242 views | 10 months ago
![Ho Get Together 2024Bangalore Electronic city Arbin tiu manjari sinku Bipi sing Dandom ⭐ [upl. by Ingra891]](img.php?img=imgidIGRYXA9Rhp0)
Duration: 4:24
1.5K views | 4 weeks ago
1.5K views | 4 weeks ago
![Lean Together 2024 Alex J Best Leaff a Lean diff tool [upl. by Suryt]](img.php?img=imgidVkKfIWoM3Ms)
![Lean N Rock [upl. by Flss29]](img.php?img=imgidHBPAnmgCxw8)
![Build Muscle amp Burn Fat FAST with These 3 Powerful Exercises BuildMuscle BurnFat FullBodyWorkout [upl. by Yecnahc]](img.php?img=imgid0JPCjpghJcw)
Duration: 0:29
747 views | 6 Jan 2021
747 views | 6 Jan 2021
![Lean on Me [upl. by Adnalohs]](img.php?img=imgidjJ7yzDk1ktM)
![Lean Together 2021 Towards verified decompilation using Lean 4 [upl. by Uticas970]](img.php?img=imgido_IcQyTkMuc)
Duration: 32:01
916 views | 6 Jan 2021
916 views | 6 Jan 2021
![Lean Together 2021 Baby steps toward formalizing results in anabelian geometry [upl. by Backer]](img.php?img=imgidlkkA92vhhTU)
Duration: 49:45
623 views | 11 months ago
623 views | 11 months ago
![Lean Together 2021 Formalising matroids [upl. by Simpson]](img.php?img=imgidFzJuoXy5cG0)
![Better Together [upl. by Henryson]](img.php?img=imgidW1qAHNxmSlk)
![Lean Together 2024 Shashank Pathak Autoformalization via Grammatical Framework [upl. by Ocnarfnaig]](img.php?img=imgide51SHLZQtws)
![Together 2024 PONTUAL IT Business Solutions [upl. by Nyberg]](img.php?img=imgidUUHTUJ1sgY8)
![Better Together [upl. by Ymrej366]](img.php?img=imgidco-iw7AJxQA)
![Where are you leaning I lean on Jesus Come on there is room for you too❤️ [upl. by Onileba]](img.php?img=imgidKSdpuQan-NI)
