معرفی شرکت ها
hol88-library_2.02.19940316-35_mipsel.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Higher Order Logic, binary library modules
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main mipsel |
| نام بسته | hol88-library |
| نام فایل بسته | hol88-library_2.02.19940316-35_mipsel.deb |
| نسخه بسته | 2.02.19940316 |
| انتشار بسته | 35 |
| معماری بسته | mipsel |
| نگهدارنده | Camm Maguire <camm@debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | |
| مجوز | - |
| حجم دانلود | 3099998 |
| حجم نصب | 17260 |
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.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| hol88-library-help_2.02.19940316-35_all.deb | 2.02.19940316 | all | Debian main |
| hol88-library-source_2.02.19940316-35_all.deb | 2.02.19940316 | all | Debian main |
| hol88-library_2.02.19940316-35_amd64.deb | 2.02.19940316 | amd64 | Debian main |
| hol88-library_2.02.19940316-35_arm64.deb | 2.02.19940316 | arm64 | Debian main |
| hol88-library_2.02.19940316-35_armel.deb | 2.02.19940316 | armel | Debian main |
| hol88-library_2.02.19940316-35_armhf.deb | 2.02.19940316 | armhf | Debian main |
| hol88-library_2.02.19940316-35_i386.deb | 2.02.19940316 | i386 | Debian main |
| hol88-library_2.02.19940316-35_mips.deb | 2.02.19940316 | mips | Debian main |
| hol88-library_2.02.19940316-35_mips64el.deb | 2.02.19940316 | mips64el | Debian main |
| hol88-library_2.02.19940316-35_ppc64el.deb | 2.02.19940316 | ppc64el | Debian main |
| hol88-library_2.02.19940316-35_s390x.deb | 2.02.19940316 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - |
نحوه نصب
نصب پکیج deb hol88-library:
sudo apt-get install hol88-library_2.02.19940316-35_mipsel.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/hol88-2.02.19940316/Library/abs_theory/abs_theory_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/arith_cons_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/decls_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/exists_arith_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/gen_arith_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/instance_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/int_extra_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/norm_arith_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/norm_bool_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/norm_ineqs_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/prenex_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/qconv_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/rationals_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/sol_ranges_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/solve_ineqs_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/solve_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/streams_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/string_extra_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/sub_and_cond_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/sup-inf_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/arith/term_coeffs_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/finite_sets/fset_conv_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/finite_sets/set_ind_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/ind_defs/ind-defs_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/ind_defs/ind_defs_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/latex-hol/filters_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/latex-hol/formaters_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/latex-hol/hol_trees_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_sets_pp_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_term_pp_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_thm_pp_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/latex-hol/latex_type_pp_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/latex-hol/precedence_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/more_arithmetic/num_convs_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/more_arithmetic/num_tac_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/numeral/numeral_rules_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/pair/all_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/pair/basic_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/pair/both1_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/pair/both2_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/pair/conv_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/pair/exi_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/pair/pair_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/pair/syn_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/parser/general_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/parser/parser_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/pred_sets/fset_conv_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/pred_sets/gspec_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/pred_sets/set_ind_ml.o |
| ./usr/lib/hol88-2.02.19940316/Library/prettyp/PP_hol/hol_term_pp_ml.o |
| ... and 179 more |