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

kananaskis-7.release.html (kananaskis-7.release.html( 外部リンク: SF.net): 10,005 バイト)のダウンロードが開始されます。開始されない場合，左のリンクをクリックしてください。

ファイル情報

ファイルサイズ
10,005 バイト
MD5
7452605b9b498a8834be4ab5960777c4

次はどこに行きますか?

OSDN上のプロジェクトページへ行く 他のバージョンを見る

プロジェクト概要

HOL は高階論理の定理の証明システムです。それは様々 な既存の理論の数学と理論計算機科学のさまざまな部分をほのめかしたが付属しています。