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
nightly	2013-05-27		0
1.2.0	2013-04-16		0
README.md	2013-04-16	624 Bytes	0
Totals: 3 Items		624 Bytes	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

Gen AI apps are built with MongoDB Atlas Icon

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Level Up Your Cyber Defense with External Threat Management Icon

Level Up Your Cyber Defense with External Threat Management

See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.

Try for Free

Recommended Projects

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.
Linux Kernel Programming IDE (LinK+)
LinK+ IDE is a simple IDE for Linux Kernel Developers and Lovers. It is based on Eclipse IDE customized for Linux kernel programming. It reduces the development time and executes code in an elegant fashion. This IDE supports Linux kernel configuration, compilation & emulation, system call...
Maude Development Tools
The Maude Development Tools are a set of plugins that embed the maude interpreter (http://maude.cs.uiuc.edu) in Eclipse. It provides a core plugin, which allows to any Java program to use Maude, and a set of plugins which provide an Eclipse-based IDE
PyDev for Eclipse
PyDev is a Python Development Environment (Python IDE plugin for Eclipse). It features an editor with code completion, code analysis, refactoring, outline view, debugger, mark occurrences and other goodies - check http://pydev.org for more details). It's kept going by community...