Tag
Dungeon Proof Crawler is an educational RPG that teaches players how to write mathematical proofs through dungeon crawling gameplay.