CODEWITHSUNDEEP
coqcoqide
NAAS1425
NAAS1425

Reputation: 3

CoqIDE and JAVA

I want to retrieve the result of the compilation of a file. v from coqide or coqc for treated with java, rather I have treatment of an automaton and I want to build a graphical interface of this automaton in java.

Thanks for your response.

Upvotes: 0

Views: 222

Answers (1)

Makarius
Makarius

Reputation: 2204

This project about connecting Coq to Eclipse might of of some help: Coqoon

It is specifically about Java verification and takes special care of managing .v files.

Upvotes: 0

Related Questions