Paket: hol88-library (2.02.19940316dfsg-5 ve diğerleri) [debports]

hol88-library için bağlantılar

Debian Kaynakları:

Hata Raporları

Kaynak Paketini İndir:

Bulunamadı

Geliştiriciler:

Benzer paketler:

hol88
hol88-library-source
hol88-source
hol88-contrib-source
hol88-library-help
hol88-help
hol88-contrib-help
hol88-doc
hol-light
cafeobj
lem

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 indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
sparc64 (resmi olmayan port)	2.02.19940316dfsg-5+b1	3.955,7 kB	35.183,0 kB	[dosya listesi]