 | ホールholは、定理を証明できるプログラミング環境であり、実行されています。 |
| 今すぐダウンロード | |
ホール ランキングとまとめ
広告
ホール タグ
ホール 説明
holは、定理を証明できるプログラミング環境であり、実装されたツールを実行することができる。 高次論理から短いHOLは、定理を証明できるプログラミング環境です。 Oracleメカニズムは、SATやBDD Engines.hol 4などの外部プログラムへのアクセスを提供します.4は、控除、実行、およびプロパティのチェックの組み合わせを実装するためのプラットフォームとして特に適しています。このリリースでは新しいセット理解表記が追加されました。・SML文字列表記が追加されました。・XEMACSエディタのサポートが追加されました。・ケース式は、パターンとしてのリテラルを含めることができます。・誘導定義はさまざまな単存在に対して行われます。・省略形のパターンを使用する型は省略されています。・有理数と固定長の整数のサポートが追加されました。・GCC 4の下で一部のコンポーネントをコンパイルすることを防止したバグが修正されました。・自然数と整数の正規化が修正されました。・空の文字列の取り扱いが修正されました。
ホール 関連ソフトウェア
