Isabelle/EclipseEclipse integration for Isabelle proof assistant | |
Download |
Isabelle/Eclipse Ranking & Summary
Advertisement
- License:
- Freeware
- Publisher Name:
- Andrius Velykis
- Operating Systems:
- Windows XP / Vista / 7 / 8 32-bit / 8 64-bit
- File Size:
- 70.5 MB
Isabelle/Eclipse Tags
Isabelle/Eclipse Description
Isabelle/Eclipse is a handy and reliable application designed to help users work with their scripts and improve their programming knowledge. Isabelle/Eclipse works as a standalone application, as well as a Eclipse plugin. When configuring the application to be launched, you need to indicate where Isabelle/Eclipse is located and what session will be loaded. Moreover, the software provides you with a text-editor for Isabelle theory files and allows you to highlight code scripts, comments and more.
Isabelle/Eclipse Related Software