LftCM2020: Natural number game - Kevin Buzzard
25:11
LftCM2020: Natural number game - Kevin Buzzard
4.6K viewsJul 13, 2020
YouTubeleanprover community
Attempting the Natural Number Game. Day #4 (Final Boss of Main Game)
Attempting the Natural Number Game. Day #4 (Final Boss of Main …
3 views1 month ago
YouTubeParker Broberg
Attempting the Natural Number Game. Day #5
Attempting the Natural Number Game. Day #5
1 month ago
YouTubeParker Broberg
Attempting the Natural Number Game
2:31:52
Attempting the Natural Number Game
20 views1 month ago
YouTubeParker Broberg
Natural Number Game in Lean 4 - Episode 1 Tutorial World and zero_succ_add
21:05
Natural Number Game in Lean 4 - Episode 1 Tutorial World and zero…
1.4K viewsJan 9, 2023
YouTubeAlex Codes
Attempting the Natural Number Game. Day #7
1:56:35
Attempting the Natural Number Game. Day #7
2 views1 month ago
YouTubeParker Broberg
Attempting the Natural Number Game. Day #8
Attempting the Natural Number Game. Day #8
1 month ago
YouTubeParker Broberg
34:56
【Natural Number Game】コンピュータ上で自然数の足し算と掛け算 …
979 viewsJan 21, 2024
YouTubeぱるま
2:31:33
Attempting the Natural Number Game. Day #2
14 views1 month ago
YouTubeParker Broberg
12:27
Resolving the Natural Number Game - Implication World
16 views11 months ago
YouTubeLea[r]n
25:28
【Natural Number Game】「ならば」と「否定」を使いこなして自然 …
426 viewsFeb 1, 2024
YouTubeぱるま
2:45:39
Let's Play: Lean 4 Natural Number Game
3.4K viewsAug 2, 2024
YouTubevEnhance (Evan Chen)
21:14
Natural Number Game in Lean 4 - Episode 8 Function World
198 viewsFeb 3, 2023
YouTubeAlex Codes
18:34
Natural Number Game in Lean 4 - Episode 0 Defining Natural Numbers
4.1K viewsJan 1, 2023
YouTubeAlex Codes
8:08
自然数をゲームで構築しよう～Natural Number Game/Lean(1)
19 views8 months ago
YouTubeてらQぶ【数学部】
27:24
Natural Number Game in Lean 4 - Episode 2 Start Addition World: ze…
927 viewsJan 9, 2023
YouTubeAlex Codes
The Sum of Natural Number and Its Reciprocal is `65/8` Find the Numb…
Sep 17, 2024
shaalaa.com
58:10
Speed-running Natural Numbers Game in Lean4
3.1K viewsSep 20, 2023
YouTubeAlex Kontorovich
27:09
Natural Number Game in Lean 4 - Episode 12 Distribution of Ands a…
104 viewsFeb 23, 2023
YouTubeAlex Codes
9:12
自然数をゲームで構築しよう～Natural Number Game/Lean(3)
14 views8 months ago
YouTubeてらQぶ【数学部】
5:04
含意ワールド完結～Natural Number Game/Lean(14)
1 month ago
YouTubeてらQぶ【数学部】
8:36
自然数をゲームで構築しよう～Natural Number Game/Lean(4)
32 views7 months ago
YouTubeてらQぶ【数学部】
8:45
論理学の肝、「ならば」の導出～Natural Number Game/Lean(12)
10 views2 months ago
YouTubeてらQぶ【数学部】
13:24
Natural Number Game in Lean 4 - Episode 3 Finish Addition World: …
367 viewsJan 10, 2023
YouTubeAlex Codes
足し算ワールドの締めくくり～Natural Number Game/Lean(9)
2 months ago
note（ノート）てらびと
7:56
足し算の交換法則の証明～Natural Number Game/Lean(7)
65 views3 months ago
YouTubeてらQぶ【数学部】
26:05
Natural Number Game in Lean 4 - Episode 5 Finishing Multiplication …
217 viewsJan 22, 2023
YouTubeAlex Codes
9:45
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支 …
4.1K viewsMay 13, 2022
YouTubeぐにらち
6:52
掛け算ワールド開始～Natural Number Game/Lean(15)
21 views3 weeks ago
YouTubeてらQぶ【数学部】
See more videos
Static thumbnail place holder