combinatorial-game-theory

标签

#combinatorial-game-theory

组合博弈在Lean中

Hacker News Top ↗ · 2026-07-11 缓存

在Lean 4中对组合博弈论的形式化，涵盖游戏、nimbers和超现实数，基于Conway的工作。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈