This is the release for our PLDI 2021 paper, "Proof Repair Across Type Equivalences." DEVOID is no more; it is but a special case of a more general tool that ports programs and proofs across equivalences!
This is the release for our PLDI 2021 paper, "Proof Repair Across Type Equivalences." DEVOID is no more; it is but a special case of a more general tool that ports programs and proofs across equivalences!