CoqIDE和JAVA

Question

我想檢索一個文件的編譯結果。 v來自coqide或coqc用java處理，而我有一個自動機的處理，我想在java中構建這個自動機的圖形界面。

感謝您的回覆。

Answer 1

該項目有關連接勒柯克到Eclipse的一些幫助可能：Coqoon

它特別是關於Java驗證和需要管理.v文件的特殊照顧。