Isabelle / Eclipse.

Integração do Eclipse para Isabelle Proof Assistant
Baixe Agora

Isabelle / Eclipse. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Nome do editor:
  • Andrius Velykis
  • Sistemas operacionais:
  • Windows XP / Vista / 7 / 8 32-bit / 8 64-bit
  • Tamanho do arquivo:
  • 70.5 MB

Isabelle / Eclipse. Tag


Isabelle / Eclipse. Descrição

Isabelle / Eclipse é um aplicativo prático e confiável projetado para ajudar os usuários a trabalhar com seus scripts e melhorar seu conhecimento de programação. Isabelle / Eclipse funciona como uma aplicação autônoma, bem como um plug-in Eclipse. Ao configurar o aplicativo a ser lançado, você precisa indicar onde Isabelle / Eclipse está localizado e que sessão será carregada. Além disso, o software fornece um editor de texto para arquivos de teoria do Isabelle e permite que você destaque scripts, comentários e muito mais.


Isabelle / Eclipse. Software Relacionado

Web

Crie seu próprio site, fácil e rapidamente sem programar o conhecimento. ...

30 2.31MB

Download

AgileLoad

Carga de teste e desempenho de aplicativos da Web, gerar alta carga para resolver problemas de desempenho. ...

43 106.57MB

Download