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

Coq4Eclipse

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos

Sobre Coq4Eclipse

Coq4Eclipse é um plugin para a Plataforma Eclipse que fornece uma interface para o Coq Proof Assistant. Ele suportará o usuário com destaque de sintaxe, instalações de pesquisa, símbolos matemáticos, bastante impressão, etc.

Programas Relacionados

  • Zinuc Livre

    Você está sempre cansado de pesquisar na calculadora do Windows de algum local estranho do seu PC? Zinuc é uma calculadora muito simples, mas poderosa. Você não tem que baixar nada para usá-lo. Confira as páginas da web para

  • RouteCalc Livre

    Calculadora de rota da linha de comando para a Aviação. Entradas: Velocidade de cruzeiro, queima de combustível, direção/velocidade do vento, distância do segmento. Saídas: Rolamento de voo, Velocidade do Solo, Tempo do Segme

  • Auditory Modelling Toolbox Livre

    A Caixa de Ferramentas de Modelagem 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 Livre

    o sigTOOL fornece um ambiente de análise de sinal extensível para o processamento de dados eletrofisiológicos dentro do MATLAB. O filtro-trem, + análises espectrais e domínio de tempo são incorporadas. Veja http://dx.doi.org/

  • Periodic Table Droid Avaliação gratuita

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

  • A Hyperspectral Image Reader Livre

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

  • Louisiana Criminal Law Livre

    Título 14 do Estatuto Revisado da Louisiana, Direito Penal, para Lei Dróide!Título 14 do Estatuto Revisado da Louisiana, Direito Penal, para Lei Dróide.ESTE É UM COMPLEMENTO PARA DROIDLAW. VOCÊ PODE E #39; T ABRA ESTE A

  • GMAT Maths Preview Livre

    Você quer aumentar sua chance de sucesso em GMAT ou GRE? Então este é um aplicativo perfeito para você. Este aplicativo ensina dicas práticas para realizar cálculos matemáticos mais rapidamente. Você será capaz de múltiplos 9

  • Quran Indonesia mp3+trnslation Livre

    Ouça completar o Alcorão sagrado na tradução indonésia. Nosso aplicativo reproduta arquivos de áudio em um dos seus reciter1 favoritos. Permite baixar o Alcorão completo ou baixar um único arquivo individualmente de uma só ve

  • ProteinFinder database search method Livre

    ProteinFinder - um mecanismo de computação paralela da língua C para pesquisa de banco de dados de espectrometria de proteína tandem. ProteinFinder é interface com o banco de dados relacional MySQL MassSpec que hospeda os da