» Ubuntu » Packages » raring (13.04) » math » hol-light
raring  ] [  saucy  ] [  trusty  ] [  utopic  ]
[ Source: hol-light  ]

Package: hol-light (20120602-1) [universe]

Links for hol-light


Ubuntu Resources:

Download Source Package hol-light:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

HOL Light theorem prover

Other Packages Related to hol-light

  • depends
  • recommends
  • suggests
  • enhances

Download hol-light

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 3,535.3 kB18,813.0 kB [list of files]