Pakiet: hol88-library (2.02.19940316dfsg-8)

Odnośniki dla hol88-library

Zasoby systemu Debian:

Pobieranie pakietu źródłowego hol88:

Opiekun:

Camm Maguire (Strona QA)

Podobne pakiety:

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	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	5 023,9 KiB	45 108,0 KiB	[lista plików]
arm64	5 014,2 KiB	45 608,0 KiB	[lista plików]
armhf	5 019,9 KiB	32 055,0 KiB	[lista plików]
i386	4 728,3 KiB	31 552,0 KiB	[lista plików]
ppc64el	5 397,1 KiB	52 789,0 KiB	[lista plików]
riscv64	10 985,9 KiB	151 816,0 KiB	[lista plików]
s390x	5 079,0 KiB	44 818,0 KiB	[lista plików]