如何从外部软件调用校对助理Coq？Coq有一些API吗？Coq命令行界面是否足够丰富以传递文件中的参数并在文件中接收响应？我对Java或C++桥感兴趣.
这是合法的问题.Coq不是通常的商业软件,人们可以期待开发人员友好的API.我对Isabelle/HOL有类似的问题,这是一个非常简单的答案的合法问题.
coq
coq ×1