Pakiet: hol88 (2.02.19940316dfsg-5)

Odnośniki dla hol88

Zasoby systemu Debian:

Pobieranie pakietu źródłowego hol88:

Opiekun:

Camm Maguire (Strona QA)

Podobne pakiety:

Logika wyższego rzędu, obraz systemu

System HOL jest środowiskiem do interaktywnego dowodzenia twierdzeń w logice wyższego rzędu. Jego najbardziej wyróżniającą się cechą jest wysoki stopień programowalności przy użyciu metajęzyka ML. System nadaje się do szerokiej gamy zastosowań, począwszy od formalizowania czystej matematyki po weryfikację sprzętu przemysłowego. Ośrodki akademickie i przemysłowe na całym świecie korzystają ze środowiska HOL.

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

Inne pakiety związane z hol88

wymaga

poleca

sugeruje

enhances

dep: libc6 (>= 2.34)

Biblioteka GNU C: biblioteki współdzielone
również pakiet wirtualny udostępniany przez libc6-udeb
dep: libedit2 (>= 2.11-20080614-0)

Biblioteka do edytowania wiersza poleceń i historii
dep: libgmp10 (>= 2:6.2.1+dfsg1)

Biblioteka działań arytmetycznych z dużą dokładnością
dep: libtirpc3 (>= 1.0.2)

Niezależna od warstwy transportowej biblioteka RPC
dep: libx11-6

Biblioteka X11 po stronie klienta

Pobieranie hol88

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
armel	5 240,0 KiB	43 303,0 KiB	[lista plików]