hol-light 20130511-1 source package in Ubuntu
hol-light (20130511-1) unstable; urgency=low * new upstream version revision 162 from 2013-05-11 * fix typo in package description (Closes: #680494) * set prioity to extra * omit new elc file from package * adapt copyright info * add new patch include-compiler-libs for OCaml 4 compatibility * bump to standards version 3.9.4 * improve debian readme -- Hendrik Tews <email address hidden> Fri, 17 May 2013 13:54:42 +0200
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 aims at the
formalization of Tom Hales' proof of the Kepler conjecture.