Jape

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 5.0/5 - ‎1 ‎投票

Japeは、設定可能なグラフィカルフォーマルプルーフ電卓です。ロジックを定義し、ユーザーが自分の証明をどのように表示するかを決定することができます。それは、配列積分と自然控除の変種で動作します。マック, Unix, ウィンドウズ.

バージョン履歴

  • バージョン N/A に転記 2011-08-11
    いくつかの修正と更新
  • バージョン N/A に転記 2011-08-11

プログラムの詳細