YHacker Newsscreenshots

dhilst.github.io on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of dhilst.github.io: Dungeon Proof Crawler: learn how to write proofs with RPG

Dungeon Proof Crawler: learn how to write proofs with RPG (dhilst.github.io)

66 points by SchwKatze 3 months ago | 23 comments