Mostly Automated Proof Repair for Verified Libraries [pdf]
Sounds like a pretty nice achievement.<p>On another note, I&#x27;m increasingly amazed how researchers seem to persist in using ugly PDFs to publish their work. I cam understand e.g. biologists doing it, but when CS folks who should know alternatives do it, I&#x27;m evermore baffled, especially given the awkwardness of using e.g. LaTeX.