Proofs Should Repair Themselves | Hacker News Reader