hol-light 20131026-1 source package in Ubuntu
hol-light (20131026-1) unstable; urgency=low * new upstream version revision 177 from 2013-10-26 * use new pa_j and adjust camlp5 dependencies * delete executable bit of RichterHilbertAxiomGeometry/Topology.ml during installation -- Hendrik Tews <email address hidden> Sun, 10 Nov 2013 20:37:21 +0100
See full publishing history Publishing
- diff from 20130811-1 to 20131026-1 (314.7 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 aims at the
formalization of Tom Hales' proof of the Kepler conjecture.