Dungeon Proof Crawler is a new browser-based roguelike game that gamifies the process of learning to write formal proofs. Players must battle monsters that represent Algae proofs and recover Miriam's ring before sunrise.