Balík: hol-light (1:3.0.0-2 a iné)

[ Zdroj: 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.

Ostatné balíky súvisiace s balíkom hol-light

• dep: camlp5

  Pre Processor Pretty Printer for OCaml - classical version

• dep: camlp5-97u48 [armel, armhf, i386, mips64el, ppc64, sh4, sparc64]

  virtuálny balík poskytovaný balíkom camlp5

• dep: camlp5-dkct1 [x32]

  Balík nie je dostupný

• dep: camlp5-ifvd8 [arm64]

  virtuálny balík poskytovaný balíkom camlp5

• dep: camlp5-jgf71 [s390x]

  virtuálny balík poskytovaný balíkom camlp5

• dep: camlp5-l2yh5 [hppa]

  virtuálny balík poskytovaný balíkom camlp5

• dep: camlp5-pb7z0 [m68k]

  virtuálny balík poskytovaný balíkom camlp5

• dep: camlp5-qjxj1 [amd64]

  virtuálny balík poskytovaný balíkom camlp5

• dep: camlp5-tyyp7 [riscv64]

  virtuálny balík poskytovaný balíkom camlp5

• dep: camlp5-z99w3 [alpha]

  virtuálny balík poskytovaný balíkom camlp5

• dep: camlp5-zcoe5 [ia64]

  virtuálny balík poskytovaný balíkom camlp5

• dep: camlp5-zfrj2 [ppc64el]

  virtuálny balík poskytovaný balíkom camlp5

• dep: libcamlp-streams-ocaml-dev-41xt0 [amd64, arm64, ppc64el, riscv64]

  virtuálny balík poskytovaný balíkom libcamlp-streams-ocaml-dev

• dep: libcamlp-streams-ocaml-dev-e0qf1 [alpha, hppa]

  Balík nie je dostupný

• dep: libcamlp-streams-ocaml-dev-il615 [ia64, m68k]

  virtuálny balík poskytovaný balíkom libcamlp-streams-ocaml-dev

• dep: libcamlp-streams-ocaml-dev-lshm7 [armel, armhf, i386, mips64el, ppc64, sh4, sparc64]

  virtuálny balík poskytovaný balíkom libcamlp-streams-ocaml-dev

• dep: libcamlp-streams-ocaml-dev-nmu32 [s390x]

  virtuálny balík poskytovaný balíkom libcamlp-streams-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-0a396 [ia64, m68k]

  virtuálny balík poskytovaný balíkom libcompiler-libs-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-a6bv6 [alpha, hppa]

  Balík nie je dostupný

• dep: libcompiler-libs-ocaml-dev-frp78 [armel, armhf, i386, mips64el, ppc64, sh4, sparc64]

  virtuálny balík poskytovaný balíkom libcompiler-libs-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-lyzz3 [s390x]

  virtuálny balík poskytovaný balíkom libcompiler-libs-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-p3pm2 [arm64]

  virtuálny balík poskytovaný balíkom libcompiler-libs-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-pe0n8 [amd64]

  virtuálny balík poskytovaný balíkom libcompiler-libs-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-xbok2 [riscv64]

  virtuálny balík poskytovaný balíkom libcompiler-libs-ocaml-dev

• dep: libcompiler-libs-ocaml-dev-ykur7 [ppc64el]

  virtuálny balík poskytovaný balíkom libcompiler-libs-ocaml-dev

• dep: libstdlib-ocaml-dev-bdrm4 [armel, armhf, i386, mips64el, ppc64, sh4, sparc64]

  virtuálny balík poskytovaný balíkom libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-bkvu1 [alpha, hppa]

  Balík nie je dostupný

• dep: libstdlib-ocaml-dev-fxjy5 [amd64, arm64, ppc64el, riscv64]

  virtuálny balík poskytovaný balíkom libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-ke4j9 [s390x]

  virtuálny balík poskytovaný balíkom libstdlib-ocaml-dev

• dep: libstdlib-ocaml-dev-rg5q2 [ia64, m68k]

  virtuálny balík poskytovaný balíkom libstdlib-ocaml-dev

• dep: libzarith-ocaml-dev-9lp69 [alpha, hppa]

  Balík nie je dostupný

• dep: libzarith-ocaml-dev-ap2s7 [armel, armhf, i386, mips64el, ppc64, sh4, sparc64]

  virtuálny balík poskytovaný balíkom libzarith-ocaml-dev

• dep: libzarith-ocaml-dev-f1se9 [amd64, arm64, ppc64el, riscv64]

  virtuálny balík poskytovaný balíkom libzarith-ocaml-dev

• dep: libzarith-ocaml-dev-i2hh0 [s390x]

  virtuálny balík poskytovaný balíkom libzarith-ocaml-dev

• dep: ocaml-4.14.1 [ia64, m68k]

  virtuálny balík poskytovaný balíkom ocaml

• dep: ocaml-5.2.0 [alpha, hppa]

  Balík nie je dostupný

• dep: ocaml-5.3.0 [nie alpha, hppa, ia64, m68k, x32]

  virtuálny balík poskytovaný balíkom ocaml

• dep: ocaml-nox-4.11.1 [x32]

  Balík nie je dostupný

• sug: coinor-csdp

  Software package for semidefinite programming (binaries)

• sug: dmtcp

  Balík nie je dostupný

• sug: libocamlgraph-ocaml-dev

  graph library for OCaml

• sug: maxima

  počítačový algebraický systém - základný systém

• sug: pari-gp

  systém počítačovej algebry PARI/GP - spustiteľné súbory

• sug: prover9

  Balík nie je dostupný

• sug: python

  Balík nie je dostupný

• sug: readline-editor

  virtuálny balík poskytovaný balíkom ledit, rlfe, rlwrap

Stiahnuť hol-light

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	1:3.0.0-2+b2	5,846.6 kB	45,968.0 kB	[zoznam súborov]
amd64	1:3.0.0-2+b3	5,860.3 kB	46,111.0 kB	[zoznam súborov]
arm64	1:3.0.0-2+b3	5,860.4 kB	46,111.0 kB	[zoznam súborov]
armel	1:3.0.0-2+b3	5,860.6 kB	46,111.0 kB	[zoznam súborov]
armhf	1:3.0.0-2+b3	5,860.2 kB	46,111.0 kB	[zoznam súborov]
hppa (neoficiálny port)	1:3.0.0-2	5,845.8 kB	45,967.0 kB	[zoznam súborov]
i386	1:3.0.0-2+b3	5,860.1 kB	46,111.0 kB	[zoznam súborov]
ia64 (neoficiálny port)	20231021-1+b2	5,771.4 kB	45,473.0 kB	[zoznam súborov]
m68k (neoficiálny port)	20231021-2	5,771.0 kB	45,473.0 kB	[zoznam súborov]
mips64el	1:3.0.0-2+b4	5,860.4 kB	46,111.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	1:3.0.0-2+b3	5,860.5 kB	46,111.0 kB	[zoznam súborov]
ppc64el	1:3.0.0-2+b3	5,860.3 kB	46,111.0 kB	[zoznam súborov]
riscv64	1:3.0.0-2+b3	5,860.6 kB	46,111.0 kB	[zoznam súborov]
s390x	1:3.0.0-2+b3	5,860.2 kB	46,111.0 kB	[zoznam súborov]
sh4 (neoficiálny port)	1:3.0.0-2+b3	5,860.3 kB	46,111.0 kB	[zoznam súborov]
sparc64 (neoficiálny port)	1:3.0.0-2+b3	5,860.8 kB	46,111.0 kB	[zoznam súborov]
x32 (neoficiálny port)	20190729-4+b4	4,864.7 kB	37,815.0 kB	[zoznam súborov]