معرفی شرکت ها
hol88-library-help_2.02.19940316-35_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Higher Order Logic, library online help files
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main all |
| نام بسته | hol88-library-help |
| نام فایل بسته | hol88-library-help_2.02.19940316-35_all.deb |
| نسخه بسته | 2.02.19940316 |
| انتشار بسته | 35 |
| معماری بسته | all |
| نگهدارنده | Camm Maguire <camm@debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | |
| مجوز | - |
| حجم دانلود | 238602 |
| حجم نصب | 3080 |
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-help:
sudo apt-get install hol88-library-help_2.02.19940316-35_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/doc/hol88-library-help/changelog.Debian.gz |
| ./usr/share/doc/hol88-library-help/copyright |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/ABS_TAC_PROOF.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/EXPAND_THOBS_TAC.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/STRIP_THOBS_TAC.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/STRIP_THOBS_THEN.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/abs_type_info.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/close_theory.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/g.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/instantiate_abstract_definition.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/instantiate_abstract_theorem.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/new_abs_parent.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/new_abstract_representation.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/new_theory.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/new_theory_obligations.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/prove_abs_thm.doc |
| ./usr/share/hol88-2.02.19940316/Library/abs_theory/help/entries/set_abs_goal.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/ARITH_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/ARITH_FORM_NORM_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/COND_ELIM_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/DISJ_INEQS_FALSE_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/EXISTS_ARITH_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/FORALL_ARITH_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/INSTANCE_T_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/NEGATE_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/PRENEX_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/SUB_AND_COND_ELIM_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/is_prenex.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/is_presburger.doc |
| ./usr/share/hol88-2.02.19940316/Library/arith/help/entries/non_presburger_subterms.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/OLD/finite_sets.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/DELETE_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/IMAGE_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/INSERT_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/IN_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/SET_INDUCT_TAC.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/entries/UNION_CONV.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/ABSORPTION.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/COMPONENT.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/DECOMPOSITION.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/EXTENSION.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/INSERT_COMM.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/INSERT_INSERT.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/IN_INSERT.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/MEMBER_NOT_EMPTY.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/NOT_EMPTY_INSERT.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/NOT_EQUAL_SETS.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/NOT_INSERT_EMPTY.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/NOT_IN_EMPTY.doc |
| ./usr/share/hol88-2.02.19940316/Library/finite_sets/help/thms/basic/NUM_SET_WOP.doc |
| ... and 2648 more |