CoqIDE和JAVA

Question

我想检索文件编译的结果。来自coqide或coqc的v用java处理，而不是我对自动机的处理，我想在java中构建这个自动机的图形界面。

感谢您的回复。

Answer 1

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

它专门针对Java验证，并特别注意管理.v文件。