Coq4Eclipse

planning

As of 2014-05-25, this project is no longer under active development.

Add a Review
0 Downloads (This Week)
Last Update:

Description

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.

Coq4Eclipse Web Site

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of Coq4Eclipse!

Additional Project Details

Languages

English

Intended Audience

Developers, Information Technology, Science/Research

Programming Language

Java

Registered

2004-08-14
Screenshots can attract more users to your project.
Features can attract more users to your project.