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 sekulan dan deduksi alami. Mac, Unix, Windows.
Riwayat versi
- Versi N/A diposting di 2011-08-11
Beberapa perbaikan dan pembaruan - Versi N/A diposting di 2011-08-11
Detil Program
- Kategori: Jaringan & Internet > Lain
- Penerbit: jape.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: Array
- Platform: windows