Pakiet: hol88 (2.02.19940316dfsg-5 i inne) [debports]

Odnośniki dla hol88

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

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.

Inne pakiety związane z hol88

wymaga

poleca

sugeruje

enhances

dep: libc6.1 (>= 2.34)

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

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

Biblioteka działań arytmetycznych z dużą dokładnością
dep: libtirpc3t64 (>= 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	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	2.02.19940316dfsg-5+b1	6 179,9 KiB	69 151,0 KiB	[lista plików]