معرفی شرکت ها

hol88-source_2.02.19940316-35.1_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Higher Order Logic, source files
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main all
نام بسته hol88-source
نام فایل بسته hol88-source_2.02.19940316-35.1_all.deb
نسخه بسته 2.02.19940316
انتشار بسته 35.1
معماری بسته all
نگهدارنده Camm Maguire <camm@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی
مجوز -
حجم دانلود 275428
حجم نصب 1648
The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware. Academic and industrial sites world-wide are using HOL.


نیازمندی

مقدار نام
-


نحوه نصب


نصب پکیج deb hol88-source:

    sudo apt-get install hol88-source_2.02.19940316-35.1_all.deb


فایل ها

مسیرها
./usr/share/doc/hol88-source/changelog.Debian.gz
./usr/share/doc/hol88-source/copyright
./usr/share/hol88-2.02.19940316/lisp/akcl.l
./usr/share/hol88-2.02.19940316/lisp/banner.l
./usr/share/hol88-2.02.19940316/lisp/constp.l
./usr/share/hol88-2.02.19940316/lisp/f-cl.l
./usr/share/hol88-2.02.19940316/lisp/f-constants.l
./usr/share/hol88-2.02.19940316/lisp/f-dml.l
./usr/share/hol88-2.02.19940316/lisp/f-format.l
./usr/share/hol88-2.02.19940316/lisp/f-franz.l
./usr/share/hol88-2.02.19940316/lisp/f-freadth.l
./usr/share/hol88-2.02.19940316/lisp/f-gp.l
./usr/share/hol88-2.02.19940316/lisp/f-help.l
./usr/share/hol88-2.02.19940316/lisp/f-inst.l
./usr/share/hol88-2.02.19940316/lisp/f-iox-stand.l
./usr/share/hol88-2.02.19940316/lisp/f-lis.l
./usr/share/hol88-2.02.19940316/lisp/f-macro.l
./usr/share/hol88-2.02.19940316/lisp/f-mlprin.l
./usr/share/hol88-2.02.19940316/lisp/f-obj.l
./usr/share/hol88-2.02.19940316/lisp/f-ol-net.l
./usr/share/hol88-2.02.19940316/lisp/f-ol-rec.l
./usr/share/hol88-2.02.19940316/lisp/f-ol-syntax.l
./usr/share/hol88-2.02.19940316/lisp/f-parser.l
./usr/share/hol88-2.02.19940316/lisp/f-parsml.l
./usr/share/hol88-2.02.19940316/lisp/f-parsol.l
./usr/share/hol88-2.02.19940316/lisp/f-simpl.l
./usr/share/hol88-2.02.19940316/lisp/f-site.l
./usr/share/hol88-2.02.19940316/lisp/f-subst.l
./usr/share/hol88-2.02.19940316/lisp/f-system.l
./usr/share/hol88-2.02.19940316/lisp/f-thyfns.l
./usr/share/hol88-2.02.19940316/lisp/f-tml.l
./usr/share/hol88-2.02.19940316/lisp/f-tran.l
./usr/share/hol88-2.02.19940316/lisp/f-typeml.l
./usr/share/hol88-2.02.19940316/lisp/f-typeol.l
./usr/share/hol88-2.02.19940316/lisp/f-writml.l
./usr/share/hol88-2.02.19940316/lisp/f-writol.l
./usr/share/hol88-2.02.19940316/lisp/genfns.l
./usr/share/hol88-2.02.19940316/lisp/genmacs.l
./usr/share/hol88-2.02.19940316/lisp/gnt.l
./usr/share/hol88-2.02.19940316/lisp/hol-pars.l
./usr/share/hol88-2.02.19940316/lisp/hol-writ.l
./usr/share/hol88-2.02.19940316/lisp/mk-hol-lcf.l
./usr/share/hol88-2.02.19940316/lisp/mk-ml.l
./usr/share/hol88-2.02.19940316/lisp/mk_pp_thm.l
./usr/share/hol88-2.02.19940316/lisp/parse_as_binder.l
./usr/share/hol88-2.02.19940316/lisp/parslet.l
./usr/share/hol88-2.02.19940316/lisp/parslist.l
./usr/share/hol88-2.02.19940316/ml/abs-rep.ml
./usr/share/hol88-2.02.19940316/ml/conv.ml
./usr/share/hol88-2.02.19940316/ml/drul.ml
... and 50 more