معرفی شرکت ها

hol-light_20190729-4build1_amd64.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

HOL Light theorem prover
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Focal-20.04
مخزن Ubuntu universe amd64
نام بسته hol-light
نام فایل بسته hol-light_20190729-4build1_amd64.deb
نسخه بسته 20190729
انتشار بسته 4build1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.cl.cam.ac.uk/~jrh13/hol-light/
مجوز -
حجم دانلود 4775356
حجم نصب 37557
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.


نیازمندی

مقدار نام
- camlp5
- camlp5-luac7
- ocaml-nox-4.08.1


نحوه نصب


نصب پکیج deb hol-light:

    sudo apt-get install hol-light_20190729-4build1_amd64.deb