OSDN -- オープンソース・ソフトウェアの開発とダウンロード
日本語の翻訳状況 translation status for ja

RSS
ダウンロードリスト

プロジェクト概要

高い順序ロジック （HOL） はどの定理を証明することができますと実装プルーフ ツール プログラミング環境です。組み込みの決定プロシージャおよび定理証明器自動的に多くの単純な定理を確立できます。Oracle メカニズムは BDD エンジンや土などの外部プログラムにアクセスできます。HOL 4 は控除、実行、およびプロパティのチェックの組み合わせを実装するためのプラットフォームとして特に適しています。

システム要件

システム要件が設定されていません
プロジェクトのリリース情報やプロジェクトリソースの情報です。
注: プロジェクトリソースの情報は Freecode.com ページからの引用です。ダウンロードそのものは、OSDNにホスティングされているものではありません。

2004-09-17 08:32
2

オーバーフローのバグが修正されました。
タグ: Minor bugfixes
Overflow bugs were fixed.

2003-03-11 23:24
1

証明書のツール、ライブラリ、および定理を更新しました。サポートする大規模formalizations、および追加された構文をサポートする改善された。命名規則が変更され、さまざまな非互換性が導入されました。
タグ: Initial freshmeat announcement
The proof tools, libraries, and theorems were updated. Support was added for large formalizations, and syntax support was improved. The naming convention has changed, and various incompatibilities were introduced.

プロジェクトリソース

プロジェクトページ ダウンロード: バグトラッカー ダウンロード: 更新履歴 ダウンロード: CVS ホームページ ダウンロード: メーリングリスト ダウンロード: TGZ