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
isabelle-eclipse-ide	2013-04-16		1
updates	2013-04-16		7
README.md	2013-04-04	588 Bytes	0
Totals: 3 Items		588 Bytes	8

Isabelle/Eclipse downloads for Isabelle 2013

Isabelle/Eclipse is available both as standalone Isabelle/Eclipse IDE and as plug-ins for Eclipse to be installed via Update Manager.

isabelle-eclipse-ide - Releases of standalone Isabelle/Eclipse IDE, based on Eclipse platform.
updates - Update sites for released Isabelle/Eclipse plug-ins to be installed in your own Eclipse IDE.

This version of Isabelle/Eclipse targets and works only with Isabelle 2013 distribution.

Java 7 is required to launch Isabelle/Eclipse.

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

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

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
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
Occultation Resources
The purpose of Occultation project is to provide to Java developpers some Eclipse-based ressources : SWT widgets & Eclipse plug-ins
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
Jalopy Java Source Code Formatter
Jalopy is a source code formatter/beautifier/pretty printer for the Java programming language. It is aimed to provide a full-featured, yet free alternative to the well-known Jindent. Plug-ins for Ant, Eclipse, IDEA, JBuilder, JDeveloper, jEdit, NetBeans.
Eclipse Platform Extensions
A set of plug-ins that provide additional functionality to the Eclipse IDE.

Isabelle/Eclipse Files

Eclipse integration for Isabelle proof assistant

Get an email when there's a new version of Isabelle/Eclipse

Isabelle/Eclipse downloads for Isabelle 2013