معرفی شرکت ها

hol88-library-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, library source files
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Jammy-22.04
مخزن Ubuntu universe all
نام بسته hol88-library-source
نام فایل بسته hol88-library-source_2.02.19940316-35.1_all.deb
نسخه بسته 2.02.19940316
انتشار بسته 35.1
معماری بسته all
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی
مجوز -
حجم دانلود 417256
حجم نصب 3614
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-library-source:

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


فایل ها

مسیرها
./usr/share/doc/hol88-library-source/changelog.Debian.gz
./usr/share/doc/hol88-library-source/copyright
./usr/share/hol88-2.02.19940316/Library/abs_theory/abs_theory.ml
./usr/share/hol88-2.02.19940316/Library/abs_theory/example.ml
./usr/share/hol88-2.02.19940316/Library/abs_theory/group_def.ml
./usr/share/hol88-2.02.19940316/Library/abs_theory/monoid_def.ml
./usr/share/hol88-2.02.19940316/Library/arith/arith.ml
./usr/share/hol88-2.02.19940316/Library/arith/arith_cons.ml
./usr/share/hol88-2.02.19940316/Library/arith/decls.ml
./usr/share/hol88-2.02.19940316/Library/arith/exists_arith.ml
./usr/share/hol88-2.02.19940316/Library/arith/gen_arith.ml
./usr/share/hol88-2.02.19940316/Library/arith/instance.ml
./usr/share/hol88-2.02.19940316/Library/arith/int_extra.ml
./usr/share/hol88-2.02.19940316/Library/arith/norm_arith.ml
./usr/share/hol88-2.02.19940316/Library/arith/norm_bool.ml
./usr/share/hol88-2.02.19940316/Library/arith/norm_ineqs.ml
./usr/share/hol88-2.02.19940316/Library/arith/prenex.ml
./usr/share/hol88-2.02.19940316/Library/arith/qconv.ml
./usr/share/hol88-2.02.19940316/Library/arith/rationals.ml
./usr/share/hol88-2.02.19940316/Library/arith/sol_ranges.ml
./usr/share/hol88-2.02.19940316/Library/arith/solve.ml
./usr/share/hol88-2.02.19940316/Library/arith/solve_ineqs.ml
./usr/share/hol88-2.02.19940316/Library/arith/streams.ml
./usr/share/hol88-2.02.19940316/Library/arith/string_extra.ml
./usr/share/hol88-2.02.19940316/Library/arith/sub_and_cond.ml
./usr/share/hol88-2.02.19940316/Library/arith/sup-inf.ml
./usr/share/hol88-2.02.19940316/Library/arith/term_coeffs.ml
./usr/share/hol88-2.02.19940316/Library/arith/theorems.ml
./usr/share/hol88-2.02.19940316/Library/arith/thm_convs.ml
./usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/card.ml
./usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/finite_sets.ml
./usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/load_finite_sets.ml
./usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/mk_finite_sets.ml
./usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/set_ind.ml
./usr/share/hol88-2.02.19940316/Library/finite_sets/finite_sets.ml
./usr/share/hol88-2.02.19940316/Library/finite_sets/fset_conv.ml
./usr/share/hol88-2.02.19940316/Library/finite_sets/load_finite_sets.ml
./usr/share/hol88-2.02.19940316/Library/finite_sets/mk_finite_sets.ml
./usr/share/hol88-2.02.19940316/Library/finite_sets/set_ind.ml
./usr/share/hol88-2.02.19940316/Library/ind_defs/Examples/exp.ml
./usr/share/hol88-2.02.19940316/Library/ind_defs/Examples/rtc.ml
./usr/share/hol88-2.02.19940316/Library/ind_defs/ind-defs.ml
./usr/share/hol88-2.02.19940316/Library/ind_defs/ind_defs.ml
./usr/share/hol88-2.02.19940316/Library/latex-hol/filters.ml
./usr/share/hol88-2.02.19940316/Library/latex-hol/formaters.ml
./usr/share/hol88-2.02.19940316/Library/latex-hol/hol_trees.ml
./usr/share/hol88-2.02.19940316/Library/latex-hol/latex-hol.ml
./usr/share/hol88-2.02.19940316/Library/latex-hol/latex_sets_pp.ml
./usr/share/hol88-2.02.19940316/Library/latex-hol/latex_term_pp.ml
./usr/share/hol88-2.02.19940316/Library/latex-hol/latex_thm_pp.ml
... and 226 more