coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Interface between Coq and external tools

From: Paulo Silva <paufil AT di.uminho.pt>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Interface between Coq and external tools
Date: Fri, 12 Sep 2008 15:51:56 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

I have found interfaces between Coq and some tools like ELAN and Maple.
However, I cannot find any documentation about the mechanisms that Coq provides to interface with external tools.
Is there any documentation available?

Thanks,
Paulo

[Coq-Club] Interface between Coq and external tools, Paulo Silva
- Re: [Coq-Club] Interface between Coq and external tools, Sidi . Ould_Biha