hol88 2.02.19940316-35build1 source package in Ubuntu

Changelog

hol88 (2.02.19940316-35build1) disco; urgency=medium

  * No-change rebuild for readline soname change.

 -- Matthias Klose <email address hidden>  Tue, 15 Jan 2019 10:25:54 +0000

Upload details

Uploaded by:
Matthias Klose on 2019-01-15
Uploaded to:
Disco
Original maintainer:
Camm Maguire
Architectures:
any all
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release on 2019-10-18 universe math
Eoan release on 2019-04-18 universe math
Disco release on 2019-01-27 universe math

Downloads

File Size SHA-256 Checksum
hol88_2.02.19940316.orig.tar.gz 9.8 MiB cc075a2924c4207a0c8e67599eff710277412934a783656fa8de69f20a185996
hol88_2.02.19940316-35build1.debian.tar.xz 128.2 KiB 8b3d518650b90a7a78a9c5a17be64dd294db502e34734a47a63e5914ef2b9ca0
hol88_2.02.19940316-35build1.dsc 2.3 KiB 12dce3122b87a497849c1d837c3daf67396d816d4fa524be48c6b1ede2db4195

View changes file

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.