Programas por jape.sf.net

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. Ma