Programmi di jape.sf.net

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 nat