CoqIDE и JAVA

Я хочу получить результат компиляции файла. v от coqide или coqc для лечения с помощью java, скорее у меня есть лечение автомата, и я хочу построить графический интерфейс этого автомата на java.

Спасибо за ваш ответ.