Isabelle/Eclipse

Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework.

Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box.

This SourceForge project is used to distribute Isabelle/Eclipse files - the source code and issue management is available on GitHub: http://github.com/andriusvelykis/isabelle-eclipse

Visit Isabelle/Eclipse website at http://andriusvelykis.github.com/isabelle-eclipse

Project Samples

Isabelle launch configuration for Windows

Project Activity

See All Activity >

License

Eclipse Public License

Follow Isabelle/Eclipse

Isabelle/Eclipse Web Site

Other Useful Business Software

Get the most trusted enterprise browser

Advanced built-in security helps IT prevent breaches before they happen

Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.

Download Chrome

Rate This Project

User Ratings

4.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:

All

ivcha Edited 2014-11-11

Very useful plugin!

Additional Project Details

Operating Systems

Linux, Mac, Windows

Intended Audience

Information Technology, Science/Research

User Interface

Eclipse

Programming Language

Java, Scala

Related Categories

Java Integrated Development Environments (IDE), Java Software Development Software, Scala Integrated Development Environments (IDE), Scala Software Development Software

Registered

2013-03-23

Similar Business Software

DVT Eclipse IDE

The DVT Eclipse IDE enables engineers overcome the limitations of plain text code editors and address today’s project complexity more efficiently. It enables faster and smarter code development and simplifies legacy code maintenance for novices and experts alike. The DVT Eclipse IDE consists of...

See Software
Eclipse PHP

The PHP IDE project delivers a PHP Integrated Development Environment framework for the Eclipse platform. This project encompasses the development components necessary to develop PHP-based web applications and facilitates extensibility. It leverages the existing web tools project in providing...

See Software
Eclipse Che

Eclipse Che makes Kubernetes development accessible for developer teams, providing one-click developer workspaces and eliminating local environment configuration for your entire team. Che brings your Kubernetes application into your development environment and provides an in-browser IDE,...

See Software
Eclipse Web Tools Platform (WTP)

The Eclipse Web Tools Platform (WTP) project extends the Eclipse platform with tools for developing Web and Java EE applications. It includes source and graphical editors for a variety of languages, wizards and built-in applications to simplify development, and tools and APIs to support...

See Software
MyEclipse

MyEclipse is the best Java IDE for enterprise development, providing easy access to popular technologies in a single solution. From Java EE to Maven, from Spring to WebSphere, MyEclipse increases productivity and helps you write your best code. With better tools, it is simple to create a dynamic...

See Software
Eclipse IDE

Eclipse IDE The Leading Open Platform for Professional Developers used in computer programming. Better Than Ever. The Eclipse IDE delivers what you need to rapidly innovate. Easier IDE configuration The Eclipse IDE Installer 2020-09 and several packages now include a Java Runtime Environment...

See Software