Ask HN: What Is a Good Hierarchy of Proof? | Dark Hacker News