Jape
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 5.0/5 - 1 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
Sobre Jape
Jape é uma calculadora gráfica configurável à prova formal. É possível definir uma lógica, decidir como seus usuários irão ver suas provas e muito mais. Ele funciona com variantes do cálculo seqüestrente e dedução natural. Mac, Unix, Windows.