Nada Habli, Amy P. Felty. Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs. In Jasmin Christian Blanchette, Josef Urban, editors, Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013. Volume 14 of EPiC Series, pages 67-76, EasyChair, 2013. [doi]
Abstract is missing.