alle opties
squeeze  ] [  wheezy  ] [  sid  ]
[ Bron: hol88  ]

Pakket: hol88 (2.02.19940316-13.1)

Verwijzigingen voor hol88

Screenshot

Debian bronnen:

Het bronpakket hol88 downloaden:

Beheerder:

Vergelijkbare pakketten:

Higher Order Logic, system image

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.

Andere aan hol88 gerelateerde pakketten

  • depends
  • recommends
  • suggests

hol88 downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 14.057,6 kB74.704,0 kB [overzicht]
armel 12.673,8 kB54.588,0 kB [overzicht]
i386 11.742,7 kB48.420,0 kB [overzicht]
ia64 11.637,0 kB270.024,0 kB [overzicht]
kfreebsd-amd64 13.859,4 kB96.722,0 kB [overzicht]
kfreebsd-i386 11.760,5 kB71.538,0 kB [overzicht]
mips 13.995,3 kB56.948,0 kB [overzicht]
mipsel 13.257,3 kB56.976,0 kB [overzicht]
powerpc 13.834,0 kB61.196,0 kB [overzicht]
s390 13.964,5 kB52.112,0 kB [overzicht]
sparc 13.202,6 kB59.648,0 kB [overzicht]