معرفی شرکت ها
hol88-library_2.02.19940316-35.1_armel.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Higher Order Logic, binary library modules
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bullseye-11 |
| مخزن | Debian main armel |
| نام بسته | hol88-library |
| نام فایل بسته | hol88-library_2.02.19940316-35.1_armel.deb |
| نسخه بسته | 2.02.19940316 |
| انتشار بسته | 35.1 |
| معماری بسته | armel |
| نگهدارنده | Camm Maguire <camm@debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | |
| مجوز | - |
| حجم دانلود | 3514008 |
| حجم نصب | 20861 |
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.1_all.deb | 2.02.19940316 | all | Debian main |
| hol88-library-source_2.02.19940316-35.1_all.deb | 2.02.19940316 | all | Debian main |
| hol88-library_2.02.19940316-35.1_amd64.deb | 2.02.19940316 | amd64 | Debian main |
| hol88-library_2.02.19940316-35.1_arm64.deb | 2.02.19940316 | arm64 | Debian main |
| hol88-library_2.02.19940316-35.1_armhf.deb | 2.02.19940316 | armhf | Debian main |
| hol88-library_2.02.19940316-35.1_i386.deb | 2.02.19940316 | i386 | Debian main |
| hol88-library_2.02.19940316-35.1_mips64el.deb | 2.02.19940316 | mips64el | Debian main |
| hol88-library_2.02.19940316-35.1_mipsel.deb | 2.02.19940316 | mipsel | Debian main |
| hol88-library_2.02.19940316-35.1_ppc64el.deb | 2.02.19940316 | ppc64el | Debian main |
| hol88-library_2.02.19940316-35.1_s390x.deb | 2.02.19940316 | s390x | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - |
نحوه نصب
نصب پکیج deb hol88-library:
sudo apt-get install hol88-library_2.02.19940316-35.1_armel.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 |