Lurch 0.4

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

数学的証明を教え、学習するためのソフトウェア ほとんどの数学的証明ソフトウェアが正式な論理(または数学の他の専門分野)に集中している場合、Lurchはattracitveユーザーインターフェイスを備えた真の汎用的な目的を目指しています。

バージョン履歴

  • バージョン 0.4 に転記 2010-09-22
    いくつかの修正と更新
  • バージョン 0.4 に転記 2010-09-22

プログラムの詳細

  • カテゴリ: 開発 >
  • パブリッシャー: lurch.sf.net
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: 0.4
  • プラットフォーム: linux