Close
Top Videos
Top Searches
Moods
Black Lives Matter
Chill
Christmas
Commute
Energy boosters
Feel-Good
Focus
Party
Pride
Romance
Sad
Sleep
Workout
Genres
African
Arabic
Blues
Bollywood & Indian
Christian & Gospel
Classical
Country and Americana
Dance and electronic
Decades
Family
Folk and acoustic
Hip-hop
Indie and alternative
J-Pop
Jazz
K-Pop
Latin
Mandopop & Cantopop
Metal
Pop
R&B and Soul
Reggae and Caribbean
Rock
Soundtracks and musicals
LftCM2020: Category theory - Scott Morrison
29:45
|
Download MP3
Related Videos
10:29
Metaprogramming in Lean 3 tutorial: video 1
33:01
Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL
7:53
10 minute Lean tutorial : proving logical propositions
25:34
Metaprogramming in Lean 3 tutorial: video 6
45:00
Lean for the Curious Mathematician 2023 Category Theory
23:35
Infinitude of primes --- a Lean theorem prover demo
1:04
GitHub - leanprover-community/mathlib4: The math library of Lean 4
42:51
Lean for the Curious Mathematician 2023 Floris van Dorn, The Independence of the Continuum Hypoth
1:07:27
Lean for the Curious Mathematician 2023 Basics
1:05:54
Lean for the Curious Mathematician 2023 Cezary Kaliszyk, Features of other proof assistants
28:31
Lean Together 2024: Evgenia Karunus and Anton Kovsharov, Paperproof visualising mathematical proof
31:35
Lean Together 2024: Jireh Loreaux, Operator algebras in Mathlib
22:37
Porting a file to mathlib4
28:29
Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics
29:46
LftCM2020: Category theory - Scott Morrison
29:35
Lean Together 2024: Joël Riou, Overview of Homology in Mathlib
50:14
Lean for the Curious Mathematician 2023 Analysis
25:26
Lean Together 2021: Mathematical insights from using Lean
17:16
Lean Together 2024: Bolton Bailey, Formalization of SNARKs
37:38
Lean for the Curious Mathematician 2023 Sets & Functions
10:29 33:01 7:53 25:34 45:00 23:35 1:04 42:51 1:07:27 1:05:54 28:31 31:35 22:37 28:29 29:46 29:35 50:14 25:26 17:16 37:38
