[ 原始碼: hol88 ]
套件:hol88-library(2.02.19940316dfsg-5 以及其他的)
hol88-library 的相關連結
Debian 的資源:
下載原始碼套件 hol88:
- [hol88_2.02.19940316dfsg-5.dsc]
- [hol88_2.02.19940316dfsg.orig.tar.gz]
- [hol88_2.02.19940316dfsg-5.debian.tar.xz]
維護者:
相似套件:
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.
下載 hol88-library
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
alpha (非官方移植版) | 2.02.19940316dfsg-5+b1 | 4,012。4 kB | 36,060。0 kB | [檔案列表] |
amd64 | 2.02.19940316dfsg-5+b1 | 3,855。2 kB | 32,160。0 kB | [檔案列表] |
arm64 | 2.02.19940316dfsg-5+b1 | 3,836。9 kB | 32,357。0 kB | [檔案列表] |
armel | 2.02.19940316dfsg-5+b1 | 3,477。3 kB | 20,077。0 kB | [檔案列表] |
armhf | 2.02.19940316dfsg-5+b1 | 3,555。1 kB | 19,330。0 kB | [檔案列表] |
hppa (非官方移植版) | 2.02.19940316dfsg-5+b1 | 4,256。0 kB | 26,340。0 kB | [檔案列表] |
i386 | 2.02.19940316dfsg-5+b1 | 3,569。5 kB | 20,705。0 kB | [檔案列表] |
m68k (非官方移植版) | 2.02.19940316dfsg-5+b1 | 3,739。7 kB | 26,713。0 kB | [檔案列表] |
mips64el | 2.02.19940316dfsg-5+b1 | 4,065。4 kB | 34,405。0 kB | [檔案列表] |
ppc64 (非官方移植版) | 2.02.19940316dfsg-5+b1 | 3,740。8 kB | 34,538。0 kB | [檔案列表] |
ppc64el | 2.02.19940316dfsg-5+b1 | 3,992。4 kB | 37,797。0 kB | [檔案列表] |
riscv64 | 2.02.19940316dfsg-5+b1 | 9,635。7 kB | 148,994。0 kB | [檔案列表] |
s390x | 2.02.19940316dfsg-5+b1 | 4,046。4 kB | 32,287。0 kB | [檔案列表] |
sh4 (非官方移植版) | 2.02.19940316dfsg-5+b1 | 3,553。8 kB | 19,864。0 kB | [檔案列表] |
sparc64 (非官方移植版) | 2.02.19940316dfsg-5+b1 | 3,955。7 kB | 35,183。0 kB | [檔案列表] |
x32 (非官方移植版) | 2.02.19940316dfsg-5+b1 | 3,659。1 kB | 23,653。0 kB | [檔案列表] |