Learn Proof Writing Through RPG Game Dungeon Proof Crawler

Dungeon Proof Crawler is a browser-based RPG that teaches mathematical proof writing through gameplay. Players solve proof puzzles to progress through dungeons, blending education with interactive fiction. The game is free and open-source, built with Algae, a proof assistant library.