The Coq mailing list

["James Smith" <biggus AT pair.com>]

Houda, hi,

 

if your aim is to provide an application for non-specialist users then you should ask what your interface provides. If you simply intend to echo the output of Coq I doubt that a Java interface (or any other, for that matter) would provide anything over and above, say, Emacs.

 

A better solution may be to look at Epigram - I know Conor is keen to work on developing an enhanced interface to Epigram that can be used with graphical interfaces and Epigram's two dimensional syntax my well be more suited non-specialist users.

 

Regards,

 

Jim