Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman. Ornaments for Proof Reuse in Coq. In John Harrison 0001, John O'Leary, Andrew Tolmach, editors, 10th International Conference on Interactive Theorem Proving, ITP 2019, September 9-12, 2019, Portland, OR, USA. Volume 141 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Abstract is missing.