Dungeon Proof Crawler: learn how to write proofs with RPG
(dhilst.github.io)
view on HackerNews
Author: SchwKatze
Date: 7/5/2026