Let's Play: Lean 4 Natural Number Game
Channel:
Subscribers:
9,300
Published on ● Video Link: https://www.youtube.com/watch?v=136e2d8pWlc
31I thought I was learning Lean but I just learned Peano arithmetic instead.
Broadcasted at / venhance , runs Friday 8pm ET during school year
Schedule at https://web.evanchen.cc/videos.html
Come join my students in watching me be dumb on camera, whether it's missing MathCounts questions, misreading shortlist geometry problems, forgetting a Spawning Pool, running Baba into corners, and more!
Other Videos By vEnhance (Evan Chen)
| 2024-10-29 | Twitch Solves ISL #147 |
| 2024-10-26 | EGMO 2014/4: DIVISIBILITY POSET |
| 2024-10-20 | EGMO 2022/1: Reading is hard |
| 2024-10-19 | EGMO 2013/2: Cutting a square up |
| 2024-10-12 | EGMO 2012/3: ANOTHER ℝ → ℝ FE |
| 2024-09-08 | Additive COSETS in FE? |
| 2024-08-25 | Mexico Mock 2021: Primes dividing a^(n!) + b |
| 2024-08-22 | TWITCH SOLVES ISL #146 |
| 2024-08-18 | Taiwan Mathematics Oly 2024: Four line concyclic geo |
| 2024-08-11 | AtCoder AGC066B: Decreasing Digit Sums |
| 2024-08-02 | Let's Play: Lean 4 Natural Number Game |
| 2024-07-23 | TWITCH SOLVES ISL #145 |
| 2024-07-13 | Why did the FROG cross the ROAD?? |
| 2024-07-06 | EGMO 2024/5: Functional equation with GCD's |
| 2024-06-29 | EGMO 2024/4: Interesting Pairs |
| 2024-06-22 | EGMO 2024/3: Peculiar numbers |
| 2024-06-15 | EGMO 2024/2: Sharkydevil Geo |
| 2024-06-12 | TWITCH SOLVES ISL #144 |
| 2024-06-11 | TWITCH SOLVES ISL #142 |
| 2024-06-08 | EGMO 2024/1: Really NOT IDEAL |
| 2024-06-01 | CodeForces 1270I: Grid XOR Combo |
Tags:
games
twitch