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
10 minute Lean tutorial : proving logical propositions
07:53
|
63,004 views
|
Download MP3
Related Videos
The Xena Project
[Formalising math 2022] Section 14, Sheet 4, more on the auxiliary ideal
Shing Tak Lam: "Formalising the fundamental group"
[Formalising math 2022] Section 14, Sheet 3, an auxiliary ideal.
[London Learning Lean] Euler's Totient Theorem and the Prime Number Theorem, by Ella Yu and Xiang Li
[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
[Formalising math 2022] Section 02: the reals, solutions to sheet 3 (limits of sequences)
[Formalising math 2022] Section 05: sets, solutions to sheet 4
The Viola Project presents Xena
[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.
[Formalising math 2022] Section 03: groups, solns to sheet 4 (group homs)
[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)
[London Learning Lean] Behrend's construction and additive combinatorics, by Yaël Dillies.
[Formalising math 2022] Section 05: sets, solutions to sheet 3
[Formalising math 2022] Section 05: sets, solutions to sheet 2
[Formalising math 2022] Section 05: sets, solutions to sheet 6
![[Formalising math 2022] Section 14, Sheet 4, more on the auxiliary ideal](https://i.ytimg.com/vi/nJqODr9st30/mqdefault.jpg)
![[Formalising math 2022] Section 14, Sheet 3, an auxiliary ideal.](https://i.ytimg.com/vi/pd6kYZCimCs/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 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)
![[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)
![[London Learning Lean] Behrend's construction and additive combinatorics, by Yaël Dillies.](https://i.ytimg.com/vi/UX318RNbRok/mqdefault.jpg)
![[Formalising math 2022] Section 05: sets, solutions to sheet 3](https://i.ytimg.com/vi/IzImENH9LQY/mqdefault.jpg)
![[Formalising math 2022] Section 05: sets, solutions to sheet 2](https://i.ytimg.com/vi/L_FRep83frA/mqdefault.jpg)
![[Formalising math 2022] Section 05: sets, solutions to sheet 6](https://i.ytimg.com/vi/_kCWiFmAXDQ/mqdefault.jpg)