地牢证明爬行者：通过 RPG 学习如何撰写证明

地牢证明爬行者：通过 RPG 学习如何撰写证明
Dungeon Proof Crawler: learn how to write proofs with RPG

原始链接: https://dhilst.github.io/algae/game/index.html

正在点亮火炬……

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录 Dungeon Proof Crawler：通过 RPG 游戏学习如何编写证明 (dhilst.github.io) 8 分 | SchwKatze 29 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论帮助 Vedor 22 分钟前 [–] 对于完全不懂如何编写证明的人来说，这也是一段出奇有趣的体验——得益于循序渐进的引导和不错的帮助菜单。而且，在手机上也可以完美游玩（至少前几个怪物是这样）。回复指导方针 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系搜索：

Lighting the torches…

地牢证明爬行者：通过 RPG 学习如何撰写证明 Dungeon Proof Crawler: learn how to write proofs with RPG

地牢证明爬行者：通过 RPG 学习如何撰写证明
Dungeon Proof Crawler: learn how to write proofs with RPG