Mostly Automated Proof Repair for Verified Libraries (via pushcx) — discussion
#formalmethods #ml #pdf
