自然数游戏

Lean 4 · 交互式定理证明

自然数游戏

从 0 出发，亲手造出自然数、加法与乘法，
一路证明 2 + 2 = 4，直到费马大定理。

尚未开始 · 共 9 个世界

世界地图

每个世界是一段旅程：读完导语，写下策略，让目标全部消失。