Download Latest Version
isabelle-eclipse-ide-1.2.0-win32.win32.x86.zip (73.9 MB)
Get an email when there's a new version of Isabelle/Eclipse
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| nightly | 2013-05-27 | ||
| 1.2.0 | 2013-04-16 | ||
| README.md | 2013-04-16 | 624 Bytes | |
| 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.