Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs.

Nada Habli, Amy P. Felty

Browse the full CADE paper archive.