Mostly Automated Proof Repair for Verified Libraries [pdf]

This article is a link to a PDF. Download the PDF: https://ilyasergey.net/assets/pdf/papers/sisyphus-pldi23.pdf

from Hacker News https://ift.tt/osYRSX7