15.3 Bugs
15.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
).
Retrieved by Memoweb from
http://pauillac.inria.fr/coq/doc/node.3.4.2.html
at 8/10/98
