hol-light 20231021-1 source package in Ubuntu
Changelog
hol-light (20231021-1) unstable; urgency=medium * Team upload * New upstream snapshot -- Stéphane Glondu <email address hidden> Mon, 23 Oct 2023 15:10:13 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| hol-light_20231021-1.dsc | 1.8 KiB | 0ed43284c83c6e4961998f3e9fb21dd24bc55c6900f468a910cbe1e7d148fb36 |
| hol-light_20231021.orig.tar.xz | 4.8 MiB | b40b15854ea6e2d58d0f992829d9e6a22a5099eaaf02c5fbf4e642337de9995c |
| hol-light_20231021-1.debian.tar.xz | 10.6 KiB | ea52897bfc168969d78f08f65134444ee8458f6023b614683e31a457864aae13 |
Available diffs
- diff from 20230128-2 to 20231021-1 (672.3 KiB)
No changes file available.
Binary packages built by this source
- hol-light: HOL Light theorem prover
HOL Light is an interactive theorem prover for Higher-Order Logic
with a very simple logical core running in an OCaml toplevel. HOL
Light is famous for the verification of floating-point
arithmetic as well as for the Flyspeck project, which aimed at the
formalization of Tom Hales' proof of the Kepler conjecture.
