Ornaments for Proof Reuse in Coq.

Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman

Browse the full ITP paper archive.