Proof repair across type equivalences

Talia Ringer, Ran Dair Porter, Nathaniel Yazdani, John Leo, Dan Grossman

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Proof repair across type equivalences'. Together they form a unique fingerprint.

Keyphrases

Computer Science