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.
Categories
MathematicsLicense
GNU General Public License version 2.0 (GPLv2)Follow Coq4Eclipse
You Might Also Like
Calmerry is beneficial for businesses of all sizes, particularly those in high-stress industries, organizations with remote teams, and HR departments seeking to improve employee well-being and productivity
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Coq4Eclipse!