Jape

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 5.0/5 - ‎1 ‎評分

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

版本歷史記錄

  • 版本 N/A 發佈於 2011-08-11
    若干修復和更新
  • 版本 N/A 發佈於 2011-08-11

軟體細節