Il s'agit de l'application Linux nommée Isabelle/Eclipse dont la dernière version peut être téléchargée sous le nom isabelle-eclipse-ide-1.2.0-win32.win32.x86.zip. Il peut être exécuté en ligne sur le fournisseur d'hébergement gratuit OnWorks pour les postes de travail.
Téléchargez et exécutez en ligne cette application nommée Isabelle/Eclipse avec OnWorks gratuitement.
Suivez ces instructions pour exécuter cette application :
- 1. Téléchargé cette application sur votre PC.
- 2. Entrez dans notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous voulez.
- 3. Téléchargez cette application dans ce gestionnaire de fichiers.
- 4. Démarrez l'émulateur en ligne OnWorks Linux ou Windows en ligne ou l'émulateur en ligne MACOS à partir de ce site Web.
- 5. Depuis le système d'exploitation OnWorks Linux que vous venez de démarrer, accédez à notre gestionnaire de fichiers https://www.onworks.net/myfiles.php?username=XXXXX avec le nom d'utilisateur que vous souhaitez.
- 6. Téléchargez l'application, installez-la et exécutez-la.
CAPTURES D'ÉCRAN
Ad
Isabelle/Éclipse
DESCRIPTION
Plug-ins Eclipse qui fournissent l'IDE Prover pour l'assistant de preuve Isabelle, basé sur le framework Isabelle/Scala.Isabelle/Eclipse a commencé comme un portage d'Isabelle/jEdit Prover IDE pour s'intégrer à Eclipse IDE en tant que plug-ins. L'intégration utilise des composants Eclipse communs pour fournir une édition théorique, des symboles corrects, une assistance à la complétion, une sortie de preuve et d'autres fonctionnalités. En s'appuyant sur Eclipse, il hérite de divers avantages IDE prêts à l'emploi.
Ce projet SourceForge est utilisé pour distribuer les fichiers Isabelle/Eclipse - le code source et la gestion des problèmes sont disponibles sur GitHub : http://github.com/andriusvelykis/isabelle-eclipse
Visitez le site Web d'Isabelle/Eclipse à http://andriusvelykis.github.com/isabelle-eclipse
Audience
Technologie de l'information, Science/Recherche
Interface utilisateur
Eclipse
Langage de programmation
Java, Scala
Il s'agit d'une application qui peut également être récupérée à partir de https://sourceforge.net/projects/isabelleeclipse/. Il a été hébergé dans OnWorks afin d'être exécuté en ligne de la manière la plus simple à partir de l'un de nos systèmes d'exploitation gratuits.
