News for hackers. Stuff that matters.

A comment on Dungeon Proof Crawler: learn how to write proofs with RPG. Parent comment

Re:Dungeon Proof Crawler: learn how to write proofs with RPG by geckones on Tuesday July 07, 2026 @08:02PM (#48825699)
I improved the editor to allow auto-completion, and clicking on the errors almost always suggests a fix. wip -> qed always work. (:
[ Parent | on HN ]

There are no comments on this comment yet.