Proofs Should Repair Themselves
Proofs Should Repair Themselves
Feb 25, 2021, 2:35pm UTC
https://galois.com/blog/2020/12/proofs-should-repair-themselves/