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

Odnośniki dla hol88-library

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Podobne pakiety:

hol88
hol88-library-source
hol88-source
hol88-contrib-source
hol88-library-help
hol88-help
hol88-contrib-help
hol88-doc
hol-light
cafeobj
lem

Higher Order Logic, binary library modules

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.

Pobieranie hol88-library

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
sparc64 (port nieoficjalny)	2.02.19940316dfsg-5+b1	3 955,7 KiB	35 183,0 KiB	[lista plików]