正式な証明のアーカイブは、定理プロファーイザベルで機械的にチェックされた証拠ライブラリ、例、およびより大きなサイエンティフックの開発のコレクションです。それは科学雑誌の方法で組織されています。提出物は審判されます。
バージョン履歴
- バージョン afp-Isabelle2011 に転記 2011-04-03
いくつかの修正と更新 - バージョン afp-Isabelle2011 に転記 2011-04-03
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: afp.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 2011
- プラットフォーム: linux