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
Lean for the Curious Mathematician 2023 Category Theory
44:59
|
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
45:00
Lean for the Curious Mathematician 2023 Category Theory
23:35
Infinitude of primes --- a Lean theorem prover demo
25:34
Metaprogramming in Lean 3 tutorial: video 6
1:04
GitHub - leanprover-community/mathlib4: The math library of Lean 4
7:53
10 minute Lean tutorial : proving logical propositions
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
31:35
Lean Together 2024: Jireh Loreaux, Operator algebras in Mathlib
22:37
Porting a file to mathlib4
28:31
Lean Together 2024: Evgenia Karunus and Anton Kovsharov, Paperproof visualising mathematical proof
29:35
Lean Together 2024: Joël Riou, Overview of Homology in Mathlib
28:29
Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics
29:46
LftCM2020: Category theory - Scott Morrison
1:01:31
Lean for the Curious Mathematician 2023 Logic
17:16
Lean Together 2024: Bolton Bailey, Formalization of SNARKs
28:28
Metaprogramming in Lean 3 tutorial: video 5
37:38
Lean for the Curious Mathematician 2023 Sets & Functions
10:29 33:01 45:00 23:35 25:34 1:04 7:53 42:51 1:07:27 1:05:54 31:35 22:37 28:31 29:35 28:29 29:46 1:01:31 17:16 28:28 37:38
