Programas por jape.sf.net

Jape es una calculadora gráfica a prueba de formal configurable. Es posible definir una lógica, decidir cómo verán los usuarios sus pruebas y mucho más. Funciona con variantes del cálculo secuencial y deducción natural. Mac,