معرفی شرکت ها
hol88-contrib-help_2.02.19940316-35_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Higher Order Logic, user contributed online help files
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main all |
| نام بسته | hol88-contrib-help |
| نام فایل بسته | hol88-contrib-help_2.02.19940316-35_all.deb |
| نسخه بسته | 2.02.19940316 |
| انتشار بسته | 35 |
| معماری بسته | all |
| نگهدارنده | Camm Maguire <camm@debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | |
| مجوز | - |
| حجم دانلود | 24856 |
| حجم نصب | 140 |
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-contrib-help:
sudo apt-get install hol88-contrib-help_2.02.19940316-35_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/doc/hol88-contrib-help/changelog.Debian.gz |
| ./usr/share/doc/hol88-contrib-help/copyright |
| ./usr/share/hol88-2.02.19940316/contrib/bags/bags.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/all_subgoals.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/auto_cancel.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/cancel_tac.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/compact.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/complete_proof.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/current_goal.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/current_proof.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/do_tac.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/do_tacf.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/move_to_proof.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/name_current_proof.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/new_goal.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/proven.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/remove_proof.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/rm_proof.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/show_all_proofs.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/show_all_subgoals.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/show_tac.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/show_the_tactic.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/store_thm.doc |
| ./usr/share/hol88-2.02.19940316/contrib/prooftree/help/entries/subgoal_tac.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/define_word_partition.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/define_wordn_bit_ops.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/define_wordn_type.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/define_wordn_val.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/new_wordn_definition.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_BITS_WORD.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_BITS_one_one.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_BITS_onto.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_LENGTH_BITS_thm.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_NWORD_MOD.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_WORD_one_one.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_WORD_onto.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_bit_op_thms.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_function_defn_thm.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_word_val.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_wordn_cases_thm.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_wordn_const_cases.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/prove_wordn_induction_thm.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/use_wordn.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_CASES_TAC.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_CONV.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_EQ_CONV.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_NVAL_CONV.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_NWORD_CONV.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_X_CASES_TAC.doc |
| ./usr/share/hol88-2.02.19940316/contrib/wordn/help/ENTRIES/wordn_bit_ops.doc |
| ... and 27 more |