Pakiet: hol88 (2.02.19940316-35.1)

[ Pakiet źródłowy: hol88  ]

Higher Order Logic, system image

The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.

Znaczniki: Pakiet narzędziowy interfejsu: Ncurses (terminalowy)

Inne pakiety związane z hol88

• dep: libc6 (>= 2.29)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libgcc-s1 (>= 3.0) [arm64]

  Biblioteka wspomagająca GCC

• dep: libgmp10

  Biblioteka działań arytmetycznych z dużą dokładnością

• dep: libreadline8 (>= 6.0)

  Biblioteki GNU readline i history, wersje uruchomieniowe

• dep: libx11-6

  Biblioteka X11 po stronie klienta

Pobieranie hol88

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	6 829,7 KiB	59 871,0 KiB	[lista plików]
arm64	6 119,1 KiB	67 359,0 KiB	[lista plików]
armel	5 508,5 KiB	46 200,0 KiB	[lista plików]
armhf	5 306,2 KiB	40 884,0 KiB	[lista plików]
i386	5 850,6 KiB	44 608,0 KiB	[lista plików]
mips64el	5 730,9 KiB	67 113,0 KiB	[lista plików]
mipsel	5 549,4 KiB	51 430,0 KiB	[lista plików]
ppc64el	6 150,5 KiB	113 439,0 KiB	[lista plików]
s390x	6 443,5 KiB	61 399,0 KiB	[lista plików]