Download Source Package hol88:
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.
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| alpha | 2.02.19940316-9 | 6,116.2 kB | 33404 kB | [list of files] |
| amd64 | 2.02.19940316-9 | 4,946.9 kB | 25292 kB | [list of files] |
| armel | 2.02.19940316-9 | 4,487.9 kB | 15204 kB | [list of files] |
| hppa | 2.02.19940316-9 | 6,501.3 kB | 25204 kB | [list of files] |
| i386 | 2.02.19940316-9 | 4,583.5 kB | 15784 kB | [list of files] |
| ia64 | 2.02.19940316-9 | 6,678.5 kB | 39464 kB | [list of files] |
| kfreebsd-amd64 | 2.02.19940316-9 | 4,949.8 kB | 26222 kB | [list of files] |
| kfreebsd-i386 | 2.02.19940316-9 | 4,583.7 kB | 15262 kB | [list of files] |
| m68k (unofficial port) | 2.02.19940316-8 | 2,386.5 kB | 12068 kB | [list of files] |
| mips | 2.02.19940316-9 | 2.8 kB | 32 kB | [list of files] |
| mipsel | 2.02.19940316-9 | 4,745.9 kB | 18504 kB | [list of files] |
| powerpc | 2.02.19940316-9 | 6,145.1 kB | 20348 kB | [list of files] |
| s390 | 2.02.19940316-9 | 5,213.5 kB | 16940 kB | [list of files] |
| sparc | 2.02.19940316-9 | 5,182.1 kB | 18236 kB | [list of files] |