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

Lurch 0.4

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

Software para ensino e aprendizagem de provas matemáticas Onde a maioria dos softwares de prova matemática se concentra na lógica formal (ou em alguma outra área especializada da matemática), Lurch pretende ser verdadeiramente de propósito geral, com uma interface de usuário 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 Avaliação gratuita

    Uma vez que o .NET é um ambiente gerenciado, há sempre a desvantagem de ter seu código aberto para qualquer pessoa que use Refletor ou Refractor.O Skater TOTAL converte o descompilável código de linguagem intermediária micr

  • Ziga Livre

    Um aplicativo de compartilhamento de arquivos escrito em Java. Ele usa módulos para suportar diferentes protocolos. No momento, há um módulo para o protocolo Napster e Gnutella disponível.

  • Scriptol Xul Dev Livre

    Xul Dev significa para o ambiente de desenvolvimento Xul. O IDE destina-se a projetar interfaces Xul e fazer programas em qualquer linguagem de programação. O IDE é escrito em Scriptol C++ e disponível na forma de origem e co

  • cmpio library Livre

    Libcmpio é uma biblioteca de propósito geral, que fornece uma maneira fácil de manipular arquivos de dados com comprimento de registro variável, compactação de registros, criação e controle de volume transparentes e portabili

  • Nuke My Tablet Avaliação gratuita

    O Nuke My Tablet protege sua privacidade, excluindo seus dados pessoais, fotos e vídeos, e devolvendo seu telefone às configurações de fábrica. Agora você pode reutilizar dispositivos antigos com segurança ou atualizar o atua

  • the prefuse visualization toolkit Livre

    Ferramentas de software para a construção de aplicativos interativos de visualização de informações. O Pré-uso suporta um rico conjunto de recursos para modelagem de dados, visualização, animação e interação tanto para Java (

  • AJIO Livre

    AJIO permite construir frascos de uma ou mais classes. O arquivo de jarra criado contém todas as classes dependentes de todos os arquivos de jarra referenciados.AJIO permet de crer UN jar partir d'une ou plusieurs classes

  • AdaDLX Livre

    Esta é uma implementação Ada do Algoritmo Dancing Links X como no artigo de Donald E. Knuth. AdaDLX é usado para resolver o quebra-cabeça oito-queens, grades Sudoku e Blocos em Box quebra-cabeça.

  • Php5 Meta-Model Livre

    O Modelo Php 5. Este projeto abriga o Modelo Ecore Php 5 e seu gerador.

  • Spyc Livre

    Spyc é uma simples classe de carregador/lixeira YAML para PHP. Ele pode ser usado para carregar arquivos YAML em estruturas de dados PHP ou para despejar arrays PHP para yaml simples. Para mais informações sobre o YAML, consu