Hacker News new | ask | show | jobs
Proofs Should Repair Themselves (galois.com)
2 points by shpat 2018 days ago