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
Other Useful Business Software
Stigg | SaaS Monetization and Entitlements API
A monetization platform is a standalone middleware that sits between your application and your business applications, as part of the modern enterprise billing stack. Stigg unifies all the APIs and abstractions billing and platform engineers had to build and maintain in-house otherwise. Acting as your centralized source of truth, with a highly scalable and flexible entitlements management, rolling out any pricing and packaging change is now a self-service, risk-free, exercise.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Coq4Eclipse!
