Jape è una calcolatrice grafica configurabile a prova formale. È possibile definire una logica, decidere come gli utenti visualizzano le loro prove e molto altro. Funziona con varianti del calcolo sequenziante e deduzione naturale. Mac, Unix, Windows.
cronologia delle versioni
- Versione N/A pubblicato il 2011-08-11
Diverse correzioni e aggiornamenti - Versione N/A pubblicato il 2011-08-11
Dettagli del programma
- Categoria: Rete & Internet > Altro
- Editore: jape.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: Array
- Piattaforma: windows