Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. Coq4Eclipse
  5. Download

Coq4Eclipse

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos

Sobre Coq4Eclipse

Coq4Eclipse é um plugin para a Plataforma Eclipse que fornece uma interface ao Assistente coq proof. Irá suportar o utilizador com prostax, instalações de pesquisa, símbolos matemáticos, impressão bonita, etc.

Programas Relacionados

  • Zinuc Grátis

    Está sempre cansado de pesquisar a calculadora do Windows a partir de uma localização estranha do seu PC? Zinuc é uma calculadora apenas, muito simples, mas poderosa. Não tens de descarregar nada para o usar. Confira as págin

  • RouteCalc Grátis

    Calculadora da Rota da Linha de Comando para a Aviação. Entradas: Velocidade de cruzeiro, queima de combustível, direção do vento/velocidade, distância do segmento. Saídas: Rolamento de voo, velocidade do solo, tempo de segme

  • Auditory Modelling Toolbox Grátis

    A Caixa de Ferramentas de Modelação Auditiva é um esforço da comunidade para construir uma caixa de ferramentas simples e bem testada para fazer modelagem auditiva em Matlab, Octave e C.

  • sigTOOL Grátis

    o sigTOOL fornece um ambiente de análise de sinal extensível para o processamento de dados eletrofisiológicos dentro do MATLAB. São incorporadas análises de spike-train, + espectral e de domínio temporal. Ver http://dx.doi.or

  • Periodic Table Droid Julgamento Gratuito

    A tabela periódica de elementos mais completa, personalizável e periódica de Chemistry disponível para o seu Android.As principais características são:• 118 elementos• Pesquisa instantânea!: Encontre elemen

  • A Hyperspectral Image Reader Grátis

    Este é o código C++ para ler em Imagens Hiperespectrais ENVI

  • Louisiana Criminal Law Grátis

    Título 14 dos Estatutos Revistos da Louisiana, Direito Penal, para DroidLaw!Título 14 dos Estatutos Revistos da Louisiana, Direito Penal, para a Lei Dróide.ESTE É UM COMPLEMENTO PARA DROIDLAW. PODE' T ABRA ESTA

  • GMAT Maths Preview Grátis

    Quer aumentar as suas hipóteses de sucesso em GMAT ou GRE? Então esta é uma aplicação perfeita para si. Esta aplicação ensina-lhe dicas práticas para realizar cálculos de matemática mais rapidamente. Poderá várias 97 e 93 e d

  • Quran Indonesia mp3+trnslation Grátis

    Ouça o Corão sagrado completo na tradução indonésia. A nossa aplicação reproduz ficheiros áudio num dos seus 10 000 favoritos. Permite-lhe fazer o download de Dados Completos do Quran ou pode descarregar um único ficheiro ind

  • ProteinFinder database search method Grátis

    ProteinFinder - um motor de computação paralelo em linguagem C para pesquisa de espectrometria de espectrometria de massa de proteína tandem. ProteinFinder é interfacedo com a base de dados relacional MySQL MassSpec que hosp