Isabelle/Eclipse Eclipse integration for Isabelle proof assistant
Download

Isabelle/Eclipse Ranking & Summary

Isabelle/Eclipse Tags

compiler develop developer Eclipse plugin

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