Resolving the Natural Number Game - Implication World
12:27
Resolving the Natural Number Game - Implication World
16 views11 months ago
YouTubeLea[r]n
Introductory Proof with Lean 4 - Natural Numbers
11:54
Introductory Proof with Lean 4 - Natural Numbers
19K viewsOct 4, 2022
YouTubeMathPom
Resolving the Natural Number Game - Tutorial World
10:29
Resolving the Natural Number Game - Tutorial World
98 viewsApr 27, 2025
YouTubeLea[r]n
LEAN4入门教程，自然数游戏Tutorial World章节
51:47
LEAN4入门教程，自然数游戏Tutorial World章节
4.4K viewsJan 19, 2024
bilibilidepth_of_Maths
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
What are Natural Numbers? Number System
4:20
What are Natural Numbers? Number System
141.5K viewsJun 29, 2020
YouTubeNajam Academy
Speed-running Natural Numbers Game in Lean4
58:10
Speed-running Natural Numbers Game in Lean4
3.1K viewsSep 20, 2023
YouTubeAlex Kontorovich
18:34
Natural Number Game in Lean 4 - Episode 0 Defining Natural Numbers
4.1K viewsJan 1, 2023
YouTubeAlex Codes
Attempting the Natural Number Game. Day #4 (Final Boss of Main …
3 views1 month ago
YouTubeParker Broberg
2:45:39
Let's Play: Lean 4 Natural Number Game
3.4K viewsAug 2, 2024
YouTubevEnhance (Evan Chen)
27:09
Natural Number Game in Lean 4 - Episode 12 Distribution of Ands a…
104 viewsFeb 23, 2023
YouTubeAlex Codes
25:11
LftCM2020: Natural number game - Kevin Buzzard
4.6K viewsJul 13, 2020
YouTubeleanprover community
9:45
ゆかりんと茜ちゃんの証明ゲームLeanプレイ講座 #2【定理証明支 …
4.1K viewsMay 13, 2022
YouTubeぐにらち
8:36
自然数をゲームで構築しよう～Natural Number Game/Lean(4)
32 views7 months ago
YouTubeてらQぶ【数学部】
Example 1 - Consider numbers 4n, where n is a natural - Examples
Dec 13, 2024
teachoo.com
5:04
含意ワールド完結～Natural Number Game/Lean(14)
1 month ago
YouTubeてらQぶ【数学部】
Number 4
Apr 18, 2021
tinytap.com
21:14
Natural Number Game in Lean 4 - Episode 8 Function World
198 viewsFeb 3, 2023
YouTubeAlex Codes
7:56
足し算の交換法則の証明～Natural Number Game/Lean(7)
65 views4 months ago
YouTubeてらQぶ【数学部】
Lean Lego Game - 4 Rounds to Successful Lean Training
Jul 31, 2018
leansimulations.org
足し算ワールドの締めくくり～Natural Number Game/Lean(9)
2 months ago
note（ノート）てらびと
1:12
Lean Game The Plug Game - From LeanBOSS
238.7K viewsNov 2, 2012
YouTubeTheLeanBOSS
58:11
自然数游戏速通 Lean4
777 viewsJul 13, 2024
bilibili帆影
12:30
Resolving the Natural Number Game - Adittion World
28 viewsMay 4, 2025
YouTubeLea[r]n
8:17
10 Super Fun Classroom Games With Numbers | Games4esl
Mar 24, 2019
games4esl.com
34:56
【Natural Number Game】コンピュータ上で自然数の足し算と掛け算 …
979 viewsJan 21, 2024
YouTubeぱるま
6 BIG UNFAIR Math Games - Number Patterns - Grade 4 No Pre…
3 months ago
teacherspayteachers.com
15:31
Natural Number Game in Lean 4 - Episode 23 Struggles in the Inequ…
201 viewsApr 3, 2023
YouTubeAlex Codes
4:44
Practice Naming Fractions | Reading Fractions for Kids
114K viewsFeb 8, 2022
YouTubeRock 'N Learn
Identify the Number 4
May 2, 2021
tinytap.com
See more videos
Static thumbnail place holder