ヒルベルトのプログラムの伝統では、正式な正しい(証明検証者によってチェック可能)が、読みやすい(通常のLaTeX教科書のように)インターネット内で自由にアクセスできる数学的知識ベースを作成します。論理と集合論が始まった。
バージョン履歴
- バージョン 0.04.02 に転記 2011-05-01
- バージョン 0.04.11 に転記 2011-03-05
いくつかの修正と更新
プログラムの詳細
- カテゴリ: 教育 > 他
- パブリッシャー: www.qedeq.org
- ライセンス: 無料
- 価格: N/A
- バージョン: 0.04.02
- プラットフォーム: linux