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