Sciweavers

80
Voted
CIE
2008
Springer
15 years 14 days ago
Extraction in Coq: An Overview
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
Pierre Letouzey