![](/statics/img/blank.png)
Coq4Eclipse
License: Free File size: N/A
Users Rating: 3.0/5 - 1 votes
Please wait ... Your download link is being verified for malicious content.
You'll be able to download in 5 seconds.
You'll be able to download in 5 seconds.
ABOUT Coq4Eclipse
Coq4Eclipse is a plugin for the Eclipse Platform that provides an interface to the Coq Proof Assistant. It will support the user with syntax highlighting, search facilities, mathematical symbols, pretty-print, etc.