2 code implementations • 2 Oct 2020 • Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
We describe a new approach to automatically repairing broken proofs in the Coq proof assistant in response to changes in types.
Programming Languages