всички настройки
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 5 845,8 кБ45 967,0 кБ [списък на файловете]
amd64 1:3.0.0-2 5 845,9 кБ45 968,0 кБ [списък на файловете]
arm64 1:3.0.0-2 5 845,8 кБ45 968,0 кБ [списък на файловете]
armel 1:3.0.0-2 5 845,7 кБ45 968,0 кБ [списък на файловете]
armhf 1:3.0.0-2 5 845,9 кБ45 968,0 кБ [списък на файловете]
hppa (неофициална архитектура) 20231021-2 5 770,9 кБ45 472,0 кБ [списък на файловете]
i386 1:3.0.0-2 5 845,8 кБ45 967,0 кБ [списък на файловете]
ia64 (неофициална архитектура) 20231021-1+b2 5 771,4 кБ45 473,0 кБ [списък на файловете]
m68k (неофициална архитектура) 20231021-2 5 771,0 кБ45 473,0 кБ [списък на файловете]
mips64el 1:3.0.0-2 5 845,8 кБ45 967,0 кБ [списък на файловете]
ppc64 (неофициална архитектура) 1:3.0.0-2 5 845,8 кБ45 967,0 кБ [списък на файловете]
ppc64el 1:3.0.0-2 5 845,8 кБ45 967,0 кБ [списък на файловете]
riscv64 1:3.0.0-2 5 845,7 кБ45 967,0 кБ [списък на файловете]
s390x 1:3.0.0-2 5 846,1 кБ45 967,0 кБ [списък на файловете]
sh4 (неофициална архитектура) 1:3.0.0-2 5 845,7 кБ45 968,0 кБ [списък на файловете]
sparc64 (неофициална архитектура) 1:3.0.0-2 5 846,0 кБ45 967,0 кБ [списък на файловете]
x32 (неофициална архитектура) 20190729-4+b4 4 864,7 кБ37 815,0 кБ [списък на файловете]