hol88 2.02.19940316-31 source package in Ubuntu
Changelog
hol88 (2.02.19940316-31) unstable; urgency=medium * build against latest gcl -- Camm Maguire <email address hidden> Wed, 07 Oct 2015 21:39:55 +0000
Upload details
- Uploaded by:
- Camm Maguire
- Uploaded to:
- Sid
- Original maintainer:
- Camm Maguire
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Xenial | release | universe | math |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| hol88_2.02.19940316-31.dsc | 2.2 KiB | a5dc80c48dea79bcf7db5fb35831ea8dc1ba3c8c10dca8c81c95bae9c49c7ca4 |
| hol88_2.02.19940316.orig.tar.gz | 9.8 MiB | cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996 |
| hol88_2.02.19940316-31.debian.tar.xz | 127.7 KiB | 02f21c87b947641e0f358a088bc2bdceddd3ff04f6990a4000f8c182dad7883d |
Available diffs
- diff from 2.02.19940316-28 to 2.02.19940316-31 (537 bytes)
No changes file available.
Binary packages built by this source
- hol88: 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.
- hol88-contrib-help: Higher Order Logic, user contributed online help files
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-contrib-source: Higher Order Logic, user contributed source
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-doc: No summary available for hol88-doc in ubuntu yakkety.
No description available for hol88-doc in ubuntu yakkety.
- hol88-help: No summary available for hol88-help in ubuntu yakkety.
No description available for hol88-help in ubuntu yakkety.
- hol88-library: 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-help: No summary available for hol88-library-help in ubuntu yakkety.
No description available for hol88-library-help in ubuntu yakkety.
- hol88-library-source: Higher Order Logic, library source files
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-source: Higher Order Logic, source files
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.
