Dungeon Proof Crawler: learn how to write proofs with RPG

Hacker News is highlighting a new educational project that combines role-playing game mechanics with learning formal proofs. Called Dungeon Proof Crawler, the browser-based tool takes the intimidating subject of logical proof writing and frames it as an interactive adventure, aiming to make proof verification more engaging through gamification.

Listen to this story

Hear this and more stories in a personalized audio briefing.

Open The Chonkerton