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

Grafana: The open and composable observability platform Icon

Grafana: The open and composable observability platform

Faster answers, predictable costs, and no lock-in built by the team helping to make observability accessible to anyone.

Grafana is the open source analytics & monitoring solution for every database.

Learn More

Keep company data safe with Chrome Enterprise Icon

Keep company data safe with Chrome Enterprise

Protect your business with AI policies and data loss prevention in the browser

Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.

Download Chrome

Recommended Projects

Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
Polaris programing with voice in Eclipse
Polaris, programing with voice in Eclipse IDE
Eclipse Checkstyle Plug-in
Integrates Checkstye into the Eclipse IDE
EasyEclipse:Eclipse IDE distros, plugins
Easy Eclipse makes Eclipse & Eclipse plugins easy to download, install & use. We test Eclipse plugin & create installers to deliver complete Eclipse-based IDEs & Eclipse plug-ins for C/C++, Java, Perl, PHP, Python, Ruby. Visit http://easyeclipse.org
Eclipse IDE for ActionScript3
Eclipse plug-ins for editing, building, and debugging Action Script 3 code as an IDE. Based on the free Adobe Flex SDK 3, uses fcsh to do fast compilation and fdb to do debug. Provide syntax coloring, error/warning markers, code assistance, and more...