Thursday, June 22, 2023

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
Posted by at

No comments:

Post a Comment

Note: Only a member of this blog may post a comment.

Subscribe to: Post Comments (Atom)