โปรแกรมตาม jape.sf.net

Jape เป็นเครื่องคิดเลขหลักฐานที่เป็นทางการแบบกราฟิกที่กําหนดค่าได้ มันเป็นไปได้ที่จะกําหนดตรรกะตัดสินใจว่าผู้ใช้ของคุณจะดูหลักฐานของพวกเขาอย่างไรและอื่น ๆ อีกมากมาย มันทํางานร่วมกับตัวแปรของแคลคูลัสตามลําดับและการหักลดตามธรรม