Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. Lurch

Lurch 0.4

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

Software para ensinar e aprender provas matemáticas Onde a maioria do software de prova matemática se concentra na lógica formal (ou em alguma outra área de especialidade da matemática), Lurch pretende ser verdadeiramente de propósito geral, com uma interface de utilizador attracitve.

história da versão

  • Versão 0.4 postado em 2010-09-22
    Várias correções e atualizações
  • Versão 0.4 postado em 2010-09-22

Detalhes do programa

Programas Relacionados

  • TOTAL .NET Protector Julgamento Gratuito

    Uma vez que .NET é um ambiente gerido, há sempre a desvantagem de ter o seu código aberto a qualquer pessoa que utilize o Refletor ou o Refrator.O Skater TOTAL converte o código de linguagem intermédia da Microsoft (MSIL ou

  • Ziga Grátis

    Um pedido de partilha de ficheiros escrito em Java. Utiliza módulos para suportar diferentes protocolos. Neste momento existe um módulo para o protocolo Napster e Gnutella disponível.

  • Scriptol Xul Dev Grátis

    Xul Dev significa para o ambiente de desenvolvimento xul. O IDE destina-se a conceber interfaces Xul e a fazer programas em qualquer linguagem de programação. O IDE está escrito no Scriptol C++ e disponível em forma de fonte

  • cmpio library Grátis

    Libcmpio é uma biblioteca de propósito geral, que fornece uma maneira fácil de manipular ficheiros de dados com comprimento de registo variável, compressão de registo, criação de volume transparente e controlo e portabilidade

  • Nuke My Tablet Julgamento Gratuito

    A Nuke My Tablet protege a sua privacidade eliminando os seus dados pessoais, tais fotos e vídeos e devolvendo o seu telemóvel às definições de fábrica. Agora pode reutilizar dispositivos antigos com segurança ou atualizar o

  • the prefuse visualization toolkit Grátis

    Ferramentas de software para a construção de aplicações de visualização de informação interativa. O pré-uso suporta um rico conjunto de funcionalidades para modelação de dados, visualização, animação e interação tanto para Ja

  • AJIO Grátis

    O AJIO permite a construção de frascos de uma ou mais classes. O ficheiro de frascos criado contém todas as classes dependentes de todos os ficheiros de frascos referenciados.AJIO permet de crer UN jar partir d'une ou plu

  • AdaDLX Grátis

    Esta é uma implementação Ada do Algoritmo Dancing Links X como no jornal de Donald E. Knuth. O AdaDLX é usado para resolver o puzzle de Oito Rainhas, grelhas sudoku e blocos no puzzle Box.

  • Php5 Meta-Model Grátis

    O Modelo Php 5. Este projeto acolhe o ecore Php 5 Model e o seu gerador.

  • Spyc Grátis

    Spyc é uma classe simples de carregador/despejo YAML para PHP. Pode ser usado para carregar ficheiros YAML em estruturas de dados PHP ou para despejar matrizes PHP para um YAML simples. Para mais informações sobre YAML, consu