Lean summer lectures 15/18: live mathlib documentation!
57:02 | 294 views
If you find several Ads windows appear, just Close the Ads and return to this page, then click the "Download" button again, the Download process will start immediately!
Sorry for showing a lot of ads, we need to make money to pay for the server and keep the tubidy service running smoothly. We apologize for the inconvenience, Your patience is greatly appreciated!
Download Now
Download Other Music/Videos
![[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)
![[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, solns to sheet 4 (group homs)](https://i.ytimg.com/vi/cT0KXu-Qtzs/mqdefault.jpg)
![[Formalising math 2022] Section 03: groups. Playing with variants of the axioms.](https://i.ytimg.com/vi/Qh5giF6DlZ8/mqdefault.jpg)
![[London Learning Lean] Ostrowski's theorem, by Billy Miao](https://i.ytimg.com/vi/HbwWJSe8OL4/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 02: the reals, solutions to sheet 4 (cheating with library_search)](https://i.ytimg.com/vi/vPGNkByvPIY/mqdefault.jpg)