その他
Dungeon Proof Crawler: RPGで証明の書き方を学ぶ
Dungeon Proof Crawler: learn how to write proofs with RPG (dhilst.github.io)
要約
Dungeon Proof Crawlerは、RPG（ロールプレイングゲーム）の要素を取り入れて、証明の書き方を学ぶためのゲームです。プレイヤーはダンジョンを探索しながら、論理的なパズルや課題を解くことで、数学的な証明の概念を習得していきます。
全文翻訳
たいまつに火を灯して…