すべてのオプション
bullseye  ] [  bookworm  ] [  sid  ]
[ ソース:  ]

パッケージ: hol-light (20231021-2) [debports]

hol-light に関するリンク

Screenshot

Debian の資源:

ソースパッケージをダウンロード:

見つかりません

メンテナ:

外部の資源:

類似のパッケージ:

HOL Light theorem prover

HOL Light is an interactive theorem prover for Higher-Order Logic with a very simple logical core running in an OCaml toplevel. HOL Light is famous for the verification of floating-point arithmetic as well as for the Flyspeck project, which aimed at the formalization of Tom Hales' proof of the Kepler conjecture.

その他の hol-light 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

hol-light のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
ppc64 (非公式の移植版) 5,771.0 kB45,473.0 kB [ファイル一覧]