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

パッケージ: hol-light (1:3.0.0-2 など)

hol-light に関するリンク

Screenshot

Debian の資源:

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

メンテナ:

外部の資源:

類似のパッケージ:

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 のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
alpha (非公式の移植版) 1:3.0.0-2+b7 5,860.4 kB46,111.0 kB [ファイル一覧]
amd64 1:3.0.0-2+b7 5,860.3 kB46,111.0 kB [ファイル一覧]
arm64 1:3.0.0-2+b7 5,860.3 kB46,111.0 kB [ファイル一覧]
armel 1:3.0.0-2+b7 5,860.3 kB46,111.0 kB [ファイル一覧]
armhf 1:3.0.0-2+b7 5,860.5 kB46,111.0 kB [ファイル一覧]
hppa (非公式の移植版) 1:3.0.0-2+b6 5,860.2 kB46,111.0 kB [ファイル一覧]
i386 1:3.0.0-2+b7 5,860.4 kB46,111.0 kB [ファイル一覧]
ia64 (非公式の移植版) 20231021-1+b2 5,771.4 kB45,473.0 kB [ファイル一覧]
loong64 (非公式の移植版) 1:3.0.0-2+b7 5,860.2 kB46,111.0 kB [ファイル一覧]
m68k (非公式の移植版) 20231021-2 5,771.0 kB45,473.0 kB [ファイル一覧]
mips64el 1:3.0.0-2+b8 5,860.5 kB46,111.0 kB [ファイル一覧]
ppc64 (非公式の移植版) 1:3.0.0-2+b7 5,860.4 kB46,111.0 kB [ファイル一覧]
ppc64el 1:3.0.0-2+b7 5,860.2 kB46,111.0 kB [ファイル一覧]
riscv64 1:3.0.0-2+b7 5,860.5 kB46,111.0 kB [ファイル一覧]
s390x 1:3.0.0-2+b7 5,860.2 kB46,111.0 kB [ファイル一覧]
sh4 (非公式の移植版) 1:3.0.0-2+b7 5,860.3 kB46,111.0 kB [ファイル一覧]
sparc64 (非公式の移植版) 1:3.0.0-2+b6 5,860.2 kB46,111.0 kB [ファイル一覧]
x32 (非公式の移植版) 20190729-4+b4 4,864.7 kB37,815.0 kB [ファイル一覧]