coq - CoqIDE and JAVA

Question

I want to retrieve the result of the compilation of a file. v from coqide or coqc for treated with java, rather I have treatment of an automaton and I want to build a graphical interface of this automaton in java.

Thanks for your response.

Answer 1

Coq を Eclipse に接続することに関するこのプロジェクトは、いくつかの助けになるかもしれません: Coqoon

これは特に Java 検証に関するものであり、.vファイルの管理に特別な注意を払います。