Isabelle/Eclipse Files

Eclipse integration for Isabelle proof assistant

Status: Beta

Brought to you by: andrius-velykis

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
201305270506	2013-05-27		0
201305250505	2013-05-25		0
201305190505	2013-05-19		0
201305180505	2013-05-18		0
201304180506	2013-04-18		0
201304170506	2013-04-17		0
201304151416	2013-04-15		0
201304150505	2013-04-15		0
201304140506	2013-04-14		0
Totals: 9 Items			0

Isabelle/Eclipse IDE for Isabelle 2013

Standalone Isabelle/Eclipse IDE, based on Eclipse platform. This prover IDE provides a lightweight package of Eclipse with Isabelle/Eclipse plug-ins, streamlined for Isabelle work.

Archived distributions are available for Windows (32- and 64-bit), Linux (32- and 64-bit) and Mac OS X (64-bit). Download the appropriate distribution, extract it and start proving.

Download the latest stable release by selecting the version, or try the cutting-edge features in nightly builds.

Java 7 is required to launch Isabelle/Eclipse. Make sure you have it installed before launching.

Source: README.md, updated 2013-04-16

Other Useful Business Software

Simplify IT and security with a single endpoint management platform Icon

Simplify IT and security with a single endpoint management platform

Automate the hardest parts of IT

NinjaOne automates the hardest parts of IT, delivering visibility, security, and control over all endpoints for more than 20,000 customers. The NinjaOne automated endpoint management platform is proven to increase productivity, reduce security risk, and lower costs for IT teams and managed service providers. The company seamlessly integrates with a wide range of IT and security technologies. NinjaOne is obsessed with customer success and provides free and unlimited onboarding, training, and support.

Learn More

Picsart Enterprise Background Removal API for Stunning eCommerce Visuals Icon

Picsart Enterprise Background Removal API for Stunning eCommerce Visuals

Instantly remove the background from your images in just one click.

With our Remove Background API tool, you can access the transformative capabilities of automation , which will allow you to turn any photo asset into compelling product imagery. With elevated visuals quality on your digital platforms, you can captivate your audience, and therefore achieve higher engagement and sales.

Learn More

Recommended Projects

COMPASS Research
Development is now hosted at https://github.com/symphonytool/symphony
jEdit
jEdit is a programmer's text editor written in Java.
Liferay Portal
The world's leading open source portal
Aptana Studio 3
The professional, open source development tool for the open web