Story
Dungeon Proof Crawler: learn how to write proofs with RPG
1 report
1 website
1 discussion
Latest report
Overview
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.
Summary from dhilst.github.io.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · dhilst.github.io
Hacker News discussion ↗
Historical count: 5 · 5 saved in sample · Historical sample
Analysis ready
Read this discussion’s reaction
Based on 5 sampled comments from this thread. Analyzed 2026-07-06.
- Praise: Surprisingly interesting experience even for someone that knows nothing about writing proofs — the gradual onboarding makes it accessible and engaging.
- Praise: Perfectly playable on mobile, allowing for a flexible learning experience that appeals to casual users.
- Concern: The tutorial doesn't adequately prepare players for the first puzzle, leaving many frustrated and confused about the basics.
- Concern: Several monsters fail to load, leading to soft-locks that ruin the gameplay experience and hinder progression.