Skip to content

Comment on Dungeon Proof Crawler: learn how to write proofs with RPG

Comments

I updated the tutorial and the game; the most prominent update is that the editor now suggests fixes that solve copy/paste and mechanical editing. It makes the experience a lot better.

I also refactored the tutorial to be more introductory about the project.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.