Dungeon Proof Crawler Uses RPG Mechanics to Teach Proof Writing

Dungeon Proof Crawler is an interactive web game that teaches mathematical proof techniques. The game combines role‑playing adventure with step‑by‑step proof construction. Players navigate dungeons by presenting logical arguments to overcome obstacles. Each successful proof advances the character and unlocks new challenges. The design aims to make abstract reasoning engaging for students. The project is available at the developer’s algae game site. It includes tutorials and example puzzles to guide newcomers. Educators can use the game as a supplemental tool for teaching logic.