Isabelle / Eclipse

Eclipse Integration for Isabelle Proof Assistant
Descargar ahora

Isabelle / Eclipse Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • Nombre del editor:
  • Andrius Velykis
  • Sistemas operativos:
  • Windows XP / Vista / 7 / 8 32-bit / 8 64-bit
  • Tamaño del archivo:
  • 70.5 MB

Isabelle / Eclipse Etiquetas


Isabelle / Eclipse Descripción

Isabelle / Eclipse es una aplicación práctica y confiable diseñada para ayudar a los usuarios a trabajar con sus scripts y mejorar su conocimiento de programación. Isabelle / Eclipse funciona como una aplicación independiente, así como un complemento Eclipse. Al configurar la solicitud que se realizará, debe indicar dónde se encuentra Isabelle / Eclipse y qué sesión se cargará. Además, el software le proporciona un editor de texto para los archivos de la teoría de Isabelle y le permite destacar los scripts de código, los comentarios y más.


Isabelle / Eclipse Software relacionado

Aplicar

Crea tu propio sitio web, fácil y rápido sin conocimientos de programación. ...

30 2.31MB

Descargar

Agileload

La carga de prueba y el rendimiento de las aplicaciones web, generan una carga alta para resolver los problemas de rendimiento. ...

43 106.57MB

Descargar

Sobre nosotros