alla flaggor
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: hol-light  ]

Paket: hol-light (1:3.0.0-2 och andra)

Länkar för hol-light

Screenshot

Debianresurser:

Hämta källkodspaketet hol-light:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med hol-light

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta hol-light

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 1:3.0.0-2+b1 5.846,2 kbyte45.968,0 kbyte [filförteckning]
amd64 1:3.0.0-2+b1 5.846,3 kbyte45.969,0 kbyte [filförteckning]
arm64 1:3.0.0-2+b1 5.846,3 kbyte45.969,0 kbyte [filförteckning]
armel 1:3.0.0-2+b1 5.846,4 kbyte45.969,0 kbyte [filförteckning]
armhf 1:3.0.0-2+b1 5.846,5 kbyte45.969,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 1:3.0.0-2 5.845,8 kbyte45.967,0 kbyte [filförteckning]
i386 1:3.0.0-2+b1 5.846,3 kbyte45.968,0 kbyte [filförteckning]
ia64 (inofficiell anpassning) 20231021-1+b2 5.771,4 kbyte45.473,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 20231021-2 5.771,0 kbyte45.473,0 kbyte [filförteckning]
mips64el 1:3.0.0-2+b1 5.846,2 kbyte45.968,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 1:3.0.0-2+b1 5.846,2 kbyte45.968,0 kbyte [filförteckning]
ppc64el 1:3.0.0-2+b1 5.846,3 kbyte45.968,0 kbyte [filförteckning]
riscv64 1:3.0.0-2+b1 5.846,3 kbyte45.968,0 kbyte [filförteckning]
s390x 1:3.0.0-2+b1 5.846,3 kbyte45.968,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 1:3.0.0-2+b1 5.846,1 kbyte45.969,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 1:3.0.0-2+b1 5.846,3 kbyte45.968,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 20190729-4+b4 4.864,7 kbyte37.815,0 kbyte [filförteckning]