全部搜尋項
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ 原始碼: hol88  ]

套件:hol88-library(2.02.19940316-33)

hol88-library 的相關連結

Screenshot

Debian 的資源:

下載原始碼套件 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.

下載 hol88-library

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
amd64 3,025。6 kB26,884。0 kB [檔案列表]
arm64 3,033。2 kB27,297。0 kB [檔案列表]
armel 2,847。3 kB16,073。0 kB [檔案列表]
armhf 2,847。1 kB14,414。0 kB [檔案列表]
i386 2,816。5 kB15,774。0 kB [檔案列表]
mips 2,891。8 kB17,203。0 kB [檔案列表]
mips64el 3,251。9 kB29,125。0 kB [檔案列表]
mipsel 3,012。0 kB17,205。0 kB [檔案列表]
ppc64el 3,144。7 kB29,429。0 kB [檔案列表]
s390x 3,043。7 kB27,675。0 kB [檔案列表]