Program menurut jape.sf.net

Jape adalah kalkulator tahan formal grafis yang dapat dikonfigurasi. Dimungkinkan untuk menentukan logika, memutuskan bagaimana pengguna Anda akan melihat bukti mereka, dan banyak lagi. Ini bekerja dengan varian kalkulus seku