Ubuntu

hol-light binary package in Ubuntu Xenial amd64

  1. Xenial (16.04)
  2. amd64
  3. hol-light

 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 aims at the
 formalization of Tom Hales' proof of the Kepler conjecture.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2016-06-13 00:10:10 UTC Deleted Ubuntu Xenial amd64 proposed universe math Optional 20131026-1build3
  • Removed from disk .
  • Removal requested .
  • Deleted by Adam Conrad

    Moved to yakkety-proposed

  • Published
  2015-11-13 11:49:15 UTC Published Ubuntu Xenial amd64 release universe math Optional 20131026-1build2
  • Published
  • Copied from ubuntu xenial-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Xenial amd64 proposed universe math Optional 20131026-1build2
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2015-11-13 12:20:14 UTC Superseded Ubuntu Xenial amd64 release universe math Optional 20131026-1build1
  • Removal requested .
  • Superseded by amd64 build of hol-light 20131026-1build2 in ubuntu xenial PROPOSED
  • Published
  • Copied from ubuntu trusty-proposed amd64 in Primary Archive for Ubuntu

Source package