Isabelle / Eclipse. Eclipse-Integration für Isabelle-Proof-Assistent
Jetzt downloaden

Isabelle / Eclipse. Ranking & Zusammenfassung

Isabelle / Eclipse. Stichworte

Kompiler sich entwickeln Entwickler Eclipse-Plugin.

Isabelle / Eclipse. Beschreibung

Isabelle / Eclipse ist eine praktische und zuverlässige Anwendung, mit der Benutzer helfen, mit ihren Skripts zusammenzuarbeiten und ihr Programmierkenntnis zu verbessern. Isabelle / Eclipse arbeitet als eigenständige Anwendung sowie ein Eclipse-Plugin. Bei der Konfiguration der einführenden Anwendung müssen Sie angeben, wo sich Isabelle / Eclipse befindet und welche Sitzung geladen wird. Darüber hinaus bietet die Software einen Text-Editor für Isabelle Theory-Dateien und ermöglicht Ihnen, Codeskripts, Kommentare und mehr hervorzuheben.

Isabelle / Eclipse. Zugehörige Software