Paket: hol88-library (2.02.19940316dfsg-5 och andra) [debports]

Länkar för hol88-library

Debianresurser:

Felrapporter

Hämta källkodspaketet :

Hittades ej

Ansvariga:

Liknande paket:

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.

Hämta hol88-library

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
hppa (inofficiell anpassning)	2.02.19940316dfsg-5+b1	4.256,0 kbyte	26.340,0 kbyte	[filförteckning]