hol88 2.02.19940316dfsg-5 source package in Ubuntu
Changelog
hol88 (2.02.19940316dfsg-5) unstable; urgency=medium * build-dep latest gcl -- Camm Maguire <email address hidden> Sun, 08 Jan 2023 17:11:46 -0500
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 | |
|---|---|---|---|---|
| Mantic | release | universe | math | |
| Lunar | release | universe | math |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| hol88_2.02.19940316dfsg-5.dsc | 2.2 KiB | 2dd74dd15834d5559e2ce3f64be0973b51b9fbfd8dd59e1ff76c4cc640b87e90 |
| hol88_2.02.19940316dfsg.orig.tar.gz | 9.9 MiB | 8e2a4f83cea20d0cf2416f7d55c951498f6c807b03ebc9381a02fa4c81c5da69 |
| hol88_2.02.19940316dfsg-5.debian.tar.xz | 128.4 KiB | cf8ae1c1c4b9b3bd73f8ca966b9f74e8f4ffd0bd6ee4c02a111131fe0d492351 |
Available diffs
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: Documentation for 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.
- hol88-help: Higher Order Logic, 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-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: Higher Order Logic, library 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-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.
