معرفی شرکت ها
hol88-library-source_2.02.19940316dfsg-5_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Higher Order Logic, library source files
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main all |
| نام بسته | hol88-library-source |
| نام فایل بسته | hol88-library-source_2.02.19940316dfsg-5_all.deb |
| نسخه بسته | 2.02.19940316dfsg |
| انتشار بسته | 5 |
| معماری بسته | all |
| نگهدارنده | Camm Maguire <camm@debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | |
| مجوز | - |
| حجم دانلود | 410508 |
| حجم نصب | 3494 |
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.19940316dfsg-5_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/doc/hol88-library-source/changelog.Debian.gz |
| ./usr/share/doc/hol88-library-source/copyright |
| ./usr/share/hol88-2.02.19940316dfsg/Library/abs_theory/abs_theory.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/abs_theory/example.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/abs_theory/group_def.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/abs_theory/monoid_def.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/arith.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/arith_cons.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/decls.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/exists_arith.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/gen_arith.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/instance.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/int_extra.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/norm_arith.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/norm_bool.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/norm_ineqs.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/prenex.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/qconv.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/rationals.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/sol_ranges.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/solve.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/solve_ineqs.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/streams.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/string_extra.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/sub_and_cond.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/sup-inf.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/term_coeffs.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/theorems.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/arith/thm_convs.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/finite_sets/OLD/card.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/finite_sets/OLD/finite_sets.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/finite_sets/OLD/load_finite_sets.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/finite_sets/OLD/mk_finite_sets.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/finite_sets/OLD/set_ind.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/finite_sets/finite_sets.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/finite_sets/fset_conv.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/finite_sets/load_finite_sets.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/finite_sets/mk_finite_sets.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/finite_sets/set_ind.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/ind_defs/Examples/exp.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/ind_defs/Examples/rtc.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/ind_defs/ind-defs.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/ind_defs/ind_defs.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/filters.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/formaters.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/hol_trees.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/latex-hol.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/latex-hol/precedence.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/more_arithmetic/add.ml |
| ./usr/share/hol88-2.02.19940316dfsg/Library/more_arithmetic/bool_convs.ml |
| ... and 217 more |