Atur cara mengikut jape.sf.net

Jape adalah kalkulator bukti grafik yang boleh dikonfigurasikan. Ia adalah mungkin untuk menentukan logik, menentukan bagaimana pengguna anda akan melihat bukti mereka, dan banyak lagi. Ia berfungsi dengan varian kalkulus ber