Lurch Lite para Linux Software para ensinar e aprender provas matemáticas.
Baixe Agora

Lurch Lite para Linux Classificação e resumo

Lurch Lite para Linux Tag

Microsoft Word 2003 Smart Movie Software. celular grátis Software antivírus móvel software jar antivírus Lite 4. g.lite. O Ares Lite 2.0.9 k lite .com. Invoice Lite. samsung softw móvel BearShare Lite 4.7.0. outp .com Inserir USB depois

Lurch Lite para Linux Descrição

Software para ensinar e aprender provas matemáticas onde a maioria dos softwares de prova matemática concentra-se na lógica formal (ou alguma outra área especializada de matemática), Lurch tem como objetivo ser verdadeiramente final de uso geral, com uma interface de usuário attracitve. Status das características. Processador de texto habilitado para Tex funcional com alguns bugs conhecidos construído em openmath para semântica não ambígua feito e completamente testado Motor JavaScript para personalizar a validação feito e completamente testado vários tópicos de matemática construídos em Apenas alguns agora, mais chegando Os usuários podem adicionar novos tópicos de matemática

Lurch Lite para Linux Software Relacionado