Japeは、設定可能なグラフィカルフォーマルプルーフ電卓です。ロジックを定義し、ユーザーが自分の証明をどのように表示するかを決定することができます。それは、配列積分と自然控除の変種で動作します。マック, Unix, ウィンドウズ.
バージョン履歴
- バージョン N/A に転記 2011-08-11
いくつかの修正と更新 - バージョン N/A に転記 2011-08-11
プログラムの詳細
- カテゴリ: ネットワークとインターネット > 他
- パブリッシャー: jape.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows