Dungeon Proof Crawler: learn how to write proofs with RPG