CoqIDE和JAVA

Question

我想检索文件编译的结果。V从coqide或coqc用java处理，而我有一个自动机的处理，我想用java建立这个自动机的图形界面。

感谢您的回复。

Answer 1

这个关于将Coq连接到Eclipse的项目可能会有一些帮助：Coqoon

它特别关注Java验证，并特别关注.v文件的管理。