Read original ↗
newsHacker NewsTrust 52 · CommunityPublished 1mo agoLive · 1mo ago

Dungeon Proof Crawler: learn how to write proofs with RPG

28points12comments

Why these links exist

Every edge carries a method, confidence, and the source snippet that justified it — so bad links are debuggable.

Covers (incoming)

Related across the graph