数学的証明を教え、学習するためのソフトウェア ほとんどの数学的証明ソフトウェアが正式な論理(または数学の他の専門分野)に集中している場合、Lurchはattracitveユーザーインターフェイスを備えた真の汎用的な目的を目指しています。
バージョン履歴
- バージョン 0.4 に転記 2010-09-22
いくつかの修正と更新 - バージョン 0.4 に転記 2010-09-22
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: lurch.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 0.4
- プラットフォーム: linux