Top Videos
Top Searches
Moods & Genres
Autumn
Chill
Commute
Energize
Feel-good
Focus
Gaming
Party
Romance
Sad
Sleep
Summer
Winter
Workout
African
Arabic
Blues
Bollywood & Indian
Classical
Country and Americana
Dance and electronic
Decades
Family
Folk and acoustic
German hip-hop
German pop
Hip-hop
Indie and alternative
J-Pop
Jazz
K-Pop
Latin
Mandopop & Cantopop
Metal
Pop
R&B and soul
Reggae and caribbean
Rock
Schlager
Soundtracks and musicals
Search music and videos
Lean summer lectures 15/18: live mathlib documentation!
57:02
|
294 views
|
Download MP3
Related Videos
10 minute Lean tutorial : proving logical propositions
The Xena Project
Lean summer lectures 2/18: partitions
[Formalising math 2022] Section 14, Sheet 4, more on the auxiliary ideal
Shing Tak Lam: "Formalising the fundamental group"
[London Learning Lean] Euler's Totient Theorem and the Prime Number Theorem, by Ella Yu and Xiang Li
[Formalising math 2022] Section 14, Sheet 3, an auxiliary ideal.
[Formalising math 2022] Section 02: the reals, solutions to sheet 5 (limit of sum is sum of limits)
[Formalising math 2022] Section 03: groups, introduction to classes and structures
[London Learning Lean] The Krull topology, by Sebastian Monnet
[Formalising Math 2022] Section 01 Logic: Introduction
[Formalising math 2022] Section 02: the reals, solutions to sheet 3 (limits of sequences)
[Formalising math 2022] Section 05: sets, solutions to sheet 4
Lean summer lectures 3/18 : limits of sequences
[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.
[Formalising math 2022] Section 03: groups, solns to sheet 4 (group homs)
The Viola Project presents Xena
[London Learning Lean] Ostrowski's theorem, by Billy Miao
[Formalising math 2022] Section 02: the reals, solutions to sheet 4 (cheating with library_search)
[Formalising math 2022] Section 03: groups, solns to sheet 3 (subgroups)
![[Formalising math 2022] Section 14, Sheet 4, more on the auxiliary ideal](https://i.ytimg.com/vi/nJqODr9st30/mqdefault.jpg)
![[London Learning Lean] Euler's Totient Theorem and the Prime Number Theorem, by Ella Yu and Xiang Li](https://i.ytimg.com/vi/nqlFWtlWMdw/mqdefault.jpg)
![[Formalising math 2022] Section 14, Sheet 3, an auxiliary ideal.](https://i.ytimg.com/vi/pd6kYZCimCs/mqdefault.jpg)
![[Formalising math 2022] Section 02: the reals, solutions to sheet 5 (limit of sum is sum of limits)](https://i.ytimg.com/vi/Pspnhby_pfo/mqdefault.jpg)
![[Formalising math 2022] Section 03: groups, introduction to classes and structures](https://i.ytimg.com/vi/vV4jP8li9HY/mqdefault.jpg)
![[London Learning Lean] The Krull topology, by Sebastian Monnet](https://i.ytimg.com/vi/AkmaHRyYJ4I/mqdefault.jpg)
![[Formalising Math 2022] Section 01 Logic: Introduction](https://i.ytimg.com/vi/pe9yZLi_O_Q/mqdefault.jpg)
![[Formalising math 2022] Section 02: the reals, solutions to sheet 3 (limits of sequences)](https://i.ytimg.com/vi/jCQ1_zXo5GI/mqdefault.jpg)
![[Formalising math 2022] Section 05: sets, solutions to sheet 4](https://i.ytimg.com/vi/fNfBKB9sP1E/mqdefault.jpg)
![[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.](https://i.ytimg.com/vi/Qh5giF6DlZ8/mqdefault.jpg)
![[Formalising math 2022] Section 03: groups, solns to sheet 4 (group homs)](https://i.ytimg.com/vi/cT0KXu-Qtzs/mqdefault.jpg)
![[London Learning Lean] Ostrowski's theorem, by Billy Miao](https://i.ytimg.com/vi/HbwWJSe8OL4/mqdefault.jpg)
![[Formalising math 2022] Section 02: the reals, solutions to sheet 4 (cheating with library_search)](https://i.ytimg.com/vi/vPGNkByvPIY/mqdefault.jpg)
![[Formalising math 2022] Section 03: groups, solns to sheet 3 (subgroups)](https://i.ytimg.com/vi/VcXsl9hqR7c/mqdefault.jpg)