isabelle eclipse online with Winfy

We have hosted the application isabelle eclipse in order to run this application in our online workstations with Wine or directly.

Quick description about isabelle eclipse:

Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework.

Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box.

This SourceForge project is used to distribute Isabelle/Eclipse files - the source code and issue management is available on GitHub: http: //

Visit Isabelle/Eclipse website at http: //

Audience: Information Technology, Science/Research.
User interface: Eclipse.
Programming Language: Java, Scala.


©2024. Winfy. All Rights Reserved.

By OD Group OU – Registry code: 1609791 -VAT number: EE102345621.