Dungeon Proof Crawler: learn how to write proofs with RPG

▲ 55 points 15 comments · by SchwKatze · dhilst.github.io

Read with AI compression → Open article View on Hacker News

Discussion on Hacker News: Dungeon Proof Crawler: learn how to write proofs with RPG. 15 comments, 55 points.

Why read this on grephn?

grephn turns long HN threads into a 30-second structured summary — for / against / unknowns / what it means — alongside the live discussion. Open this story in the app to skim 300+ comments without losing the signal.