hol88-library-help 2.02.19940316-35.1 (arm64 binary) in ubuntu jammy
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.
Details
- Package version:
- 2.02.19940316-35.1
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
amd64 build of hol88 2.02.19940316-35.1 in ubuntu hirsute PROPOSED produced
these files:
- hol88-library-help_2.02.19940316-35.1_all.deb (222.0 KiB)