Jape 是一個可配置的圖形形式驗證計算機。可以定義邏輯,決定使用者查看其校樣的方式,等等。它適用於后導微積分和自然演繹的變體。Mac , Unix , Windows 。
版本歷史記錄
- 版本 N/A 發佈於 2011-08-11
若干修復和更新 - 版本 N/A 發佈於 2011-08-11
軟體細節
- 軟體分類: 網路與互聯網 > 其他
- 發佈者: jape.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: Array
- 作業系統: windows
Jape 是一個可配置的圖形形式驗證計算機。可以定義邏輯,決定使用者查看其校樣的方式,等等。它適用於后導微積分和自然演繹的變體。Mac , Unix , Windows 。