Extraction in Coq: An overview. In: Logic and Theory of Algorithms (2008)

by P Letouzey
Venue:LNCS