19.3 Bugs
Surely there are still bugs in the
Extraction
module. You can send your bug reports directly to the author (at
Jean-Christophe.Filliatre
@
lri.fr
) or to the
Coq
mailing list (at
coq
@
pauillac.inria.fr
).