Pakiet: hol88-library (2.02.19940316-35.1)

[ Pakiet źródłowy: hol88  ]

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	3 750,9 KiB	33 745,0 KiB	[lista plików]
arm64	3 779,7 KiB	34 685,0 KiB	[lista plików]
armel	3 431,6 KiB	20 861,0 KiB	[lista plików]
armhf	3 512,4 KiB	19 985,0 KiB	[lista plików]
i386	3 531,7 KiB	21 458,0 KiB	[lista plików]
mips64el	4 066,8 KiB	37 657,0 KiB	[lista plików]
mipsel	3 807,7 KiB	23 594,0 KiB	[lista plików]
ppc64el	3 935,4 KiB	40 400,0 KiB	[lista plików]
s390x	3 578,1 KiB	34 497,0 KiB	[lista plików]