Dungeon Proof Crawler: learn how to write proofs with RPG
Summary
Dungeon Proof Crawler is an educational RPG that teaches players how to write mathematical proofs through dungeon crawling gameplay.
View Cached Full Text
Cached at: 07/05/26, 10:34 PM
Similar Articles
An open source roguelike adventure through dungeons
Dungeon Crawl Stone Soup is an open-source roguelike game featuring dungeon exploration and monster battles, available to play online or download on multiple platforms with active community support.
C64 Basic Dungeon Crawler: Stairs, Levels and Levelling Up (Part 11)
Part 11 of a C64 BASIC dungeon crawler tutorial adds five levels with escalating chalice requirements, persistent character stats, and a separation between INITPLAYER and BUILDLEVEL routines so progress survives map regeneration.
Mask-Proof: An LLM-based Automated Data Curation Pipeline on Mathematical Proofs
Introduces Mask-Proof, an LLM-based pipeline that converts mathematical proofs into masked-step tasks for automated evaluation, and presents MaskProofBench, a benchmark of 292 curated problems achieving 96.8% agreement with expert annotators.
End-to-End Procedural Generation in Caves of Qud (2019)
Freehold Games' Brian Bucklew and Jason Grinblat explain their approach to combining procedural generation techniques to create entire villages with history, culture, architecture, NPCs, and quests in the game Caves of Qud.
Making Sense of Proof by Contradiction [pdf]
This paper discusses how to make sense of proof by contradiction, a fundamental mathematical reasoning technique, for educational purposes.