The Coq mailing list

[Houda Anoun <anoun AT labri.fr>]

Hi everybody,
I'm realising a tool using coq as a proof assistant.. till now this tool 
can't be used by non specialist users ...
I want to develop a simpl interface using Java but I do not know how to 
establish the communication between Java and Coq....
Can anyone give me some ideas about this?
Thanks a lot
Houda