wszystkie opcje
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Pakiet źródłowy: hol88  ]

Pakiet: hol88-library (2.02.19940316-33)

Odnośniki dla hol88-library

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego hol88:

Opiekun:

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 3 025,6 KiB26 884,0 KiB [lista plików]
arm64 3 033,2 KiB27 297,0 KiB [lista plików]
armel 2 847,3 KiB16 073,0 KiB [lista plików]
armhf 2 847,1 KiB14 414,0 KiB [lista plików]
i386 2 816,5 KiB15 774,0 KiB [lista plików]
mips 2 891,8 KiB17 203,0 KiB [lista plików]
mips64el 3 251,9 KiB29 125,0 KiB [lista plików]
mipsel 3 012,0 KiB17 205,0 KiB [lista plików]
ppc64el 3 144,7 KiB29 429,0 KiB [lista plików]
s390x 3 043,7 KiB27 675,0 KiB [lista plików]