alla flaggor
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Källkod: hol88  ]

Paket: hol88-library (2.02.19940316-13.1)

Länkar för hol88-library

Screenshot

Debianresurser:

Hämta källkodspaketet hol88:

Ansvarig:

Liknande paket:

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.

Hämta hol88-library

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 4.976,2 kbyte26.604,0 kbyte [filförteckning]
armel 4.432,5 kbyte15.020,0 kbyte [filförteckning]
i386 4.581,6 kbyte15.796,0 kbyte [filförteckning]
ia64 6.540,9 kbyte39.576,0 kbyte [filförteckning]
kfreebsd-amd64 4.985,1 kbyte26.602,0 kbyte [filförteckning]
kfreebsd-i386 4.511,2 kbyte15.056,0 kbyte [filförteckning]
mips 4.964,6 kbyte16.488,0 kbyte [filförteckning]
mipsel 4.712,7 kbyte16.488,0 kbyte [filförteckning]
powerpc 6.154,5 kbyte20.372,0 kbyte [filförteckning]
s390 5.226,3 kbyte17.032,0 kbyte [filförteckning]
sparc 5.287,6 kbyte18.584,0 kbyte [filförteckning]