معرفی شرکت ها
hol88-contrib-source_2.02.19940316dfsg-5_all.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Higher Order Logic, user contributed source
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Bookworm-12 |
| مخزن | Debian main all |
| نام بسته | hol88-contrib-source |
| نام فایل بسته | hol88-contrib-source_2.02.19940316dfsg-5_all.deb |
| نسخه بسته | 2.02.19940316dfsg |
| انتشار بسته | 5 |
| معماری بسته | all |
| نگهدارنده | Camm Maguire <camm@debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | |
| مجوز | - |
| حجم دانلود | 725520 |
| حجم نصب | 5514 |
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-source:
sudo apt-get install hol88-contrib-source_2.02.19940316dfsg-5_all.deb
فایل ها
| مسیرها |
|---|
| ./usr/share/doc/hol88-contrib-source/changelog.Debian.gz |
| ./usr/share/doc/hol88-contrib-source/copyright |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/AKCL-mods/hol-init.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card/Makefile |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card/card.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card/mk_card.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card11/Makefile |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card11/card.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CARD/card11/mk_card.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CPO/upper_bound.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/Makefile |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/after.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/after_laws.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/boolarith1.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/boolarith2.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/choice.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/csp.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/csp_syntax.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/list_lib1.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/mu.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/order.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/par_laws.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/parallel.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/prefix.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/process.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/process_fix.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/process_ty.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/restrict.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/rules_and_tacs.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/run.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/star.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/stop.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/CSP/traces.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Derived/mk_derived1.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Derived/mk_derived2.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Inference/mk_inference1.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proof/mk_proof1.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proof/mk_proof2.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proof/mk_proof3.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proof/proof_convs.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proofaux/mk_proofaux1.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Proofaux/mk_proofaux2.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Pterm/mk_Pterm1.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Pterm/mk_Pterm2.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Rules/mk_proof_pretty.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Rules/mk_proof_rules1.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Rules/mk_proof_rules2.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Rules/mk_proof_rules_test.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Type/Type_convs.ml |
| ./usr/share/hol88-2.02.19940316dfsg/contrib/HOLproof/Type/mk_Type1.ml |
| ... and 501 more |