Ever Tried Debugging a Proof Tree? We Did | Hacker News Reader