Dungeon Proof Crawler: learn how to write proofs with RPG
dhilst.github.io
July 5, 2026
1 min read
🔥🔥🔥🔥🔥
44/100
Summary
Dungeon Proof Crawler is an interactive game that allows players to navigate through a dungeon while solving puzzles and avoiding traps. The game features a unique mechanic of lighting torches to illuminate dark areas and reveal hidden paths.
Key Takeaways
- The Dungeon Proof Crawler is a game that allows players to explore procedurally generated dungeons.
- Players must light torches to navigate and uncover hidden areas within the dungeon.
- The game features a unique mechanic where players can only see a limited area around their character.
- The objective is to collect treasures while avoiding traps and enemies in the dark environment.
Community Sentiment
Positives
- Surprisingly interesting experience even for someone that knows nothing about writing proofs — the gradual onboarding makes it accessible and engaging.
- Perfectly playable on mobile, allowing for a flexible learning experience that appeals to casual users.
Concerns
- The tutorial doesn't adequately prepare players for the first puzzle, leaving many frustrated and confused about the basics.
- Several monsters fail to load, leading to soft-locks that ruin the gameplay experience and hinder progression.