coq - CoqIDE 和 JAVA

Question

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

感谢您的答复。

Answer 1

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

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