開發者 jape.sf.net

Jape 是一個可配置的圖形形式驗證計算機。可以定義邏輯，決定使用者查看其校樣的方式，等等。它適用於后導微積分和自然演繹的變體。Mac , Unix , Windows 。