Dungeon Proof Crawler: learn how to write proofs with RPG

· Hacker News