Package: hol-light (20231021-1 and others) [debports]

Links for hol-light

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [www.cl.cam.ac.uk]

Similar packages:

HOL Light - læresætningsbevis

HOL Light en interaktivt læresætningsbeviser for Higer-Order Logic med en meget simpel logisk kerne kørende i et OCaml-topniveau. HOL Light er kendt for verifikation af kommatalsaritmetik samt for projektet Flyspeck, der forsøger at formalisere Tom Hales' bevis for Keplerformodningen.

Other Packages Related to hol-light

depends

recommends

suggests

enhances

dep: camlp5

Pre Processor Pretty Printer for OCaml - klassisk version
dep: camlp5-zcoe5

virtual package provided by camlp5
dep: libcamlp-streams-ocaml-dev-il615

virtual package provided by libcamlp-streams-ocaml-dev
dep: libcompiler-libs-ocaml-dev-0a396

virtual package provided by libcompiler-libs-ocaml-dev
dep: libstdlib-ocaml-dev-rg5q2

virtual package provided by libstdlib-ocaml-dev
dep: ocaml-4.14.1

virtual package provided by ocaml

sug: coinor-csdp

Programpakke for semidefinit programmering - binære filer
sug: dmtcp

Package not available
sug: libocamlgraph-ocaml-dev

graph library for OCaml
sug: maxima

Computeralgrebasystem - grundlæggende system
sug: pari-gp

PARI/GP Computer Algebra System-binære filer
sug: prover9

Package not available
sug: python

Package not available
sug: readline-editor

virtual package provided by ledit, rlfe, rlwrap

Download hol-light

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	20231021-1+b2	5,771.4 kB	45,474.0 kB	[list of files]