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 Together 2024: Bolton Bailey, Formalization of SNARKs
17:15
|
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
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
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
28:31
Lean Together 2024: Evgenia Karunus and Anton Kovsharov, Paperproof visualising mathematical proof
28:29
Lean Together 2024: Bhavik Mehta, Formalisation of combinatorics
22:37
Porting a file to mathlib4
29:46
LftCM2020: Category theory - Scott Morrison
29:35
Lean Together 2024: Joël Riou, Overview of Homology in Mathlib
17:16
Lean Together 2024: Bolton Bailey, Formalization of SNARKs
1:01:31
Lean for the Curious Mathematician 2023 Logic
50:14
Lean for the Curious Mathematician 2023 Analysis
25:26
Lean Together 2021: Mathematical insights from using Lean