معرفی شرکت ها


hol88_2.02.19940316-35.1_mipsel.deb


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Higher Order Logic, system image
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main mipsel
نام بسته hol88
نام فایل بسته hol88_2.02.19940316-35.1_mipsel.deb
نسخه بسته 2.02.19940316
انتشار بسته 35.1
معماری بسته mipsel
نگهدارنده Camm Maguire <camm@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی
مجوز -
حجم دانلود 5682556
حجم نصب 51430
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-contrib-help_2.02.19940316-35.1_all.deb 2.02.19940316 all Debian main
hol88-contrib-source_2.02.19940316-35.1_all.deb 2.02.19940316 all Debian main
hol88-doc_2.02.19940316-35.1_all.deb 2.02.19940316 all Debian main
hol88-help_2.02.19940316-35.1_all.deb 2.02.19940316 all Debian main
hol88-library-help_2.02.19940316-35.1_all.deb 2.02.19940316 all Debian main
hol88-library-source_2.02.19940316-35.1_all.deb 2.02.19940316 all Debian main
hol88-library_2.02.19940316-35.1_amd64.deb 2.02.19940316 amd64 Debian main
hol88-library_2.02.19940316-35.1_arm64.deb 2.02.19940316 arm64 Debian main
hol88-library_2.02.19940316-35.1_armel.deb 2.02.19940316 armel Debian main
hol88-library_2.02.19940316-35.1_armhf.deb 2.02.19940316 armhf Debian main
hol88-library_2.02.19940316-35.1_i386.deb 2.02.19940316 i386 Debian main
hol88-library_2.02.19940316-35.1_mips64el.deb 2.02.19940316 mips64el Debian main
hol88-library_2.02.19940316-35.1_mipsel.deb 2.02.19940316 mipsel Debian main
hol88-library_2.02.19940316-35.1_ppc64el.deb 2.02.19940316 ppc64el Debian main
hol88-library_2.02.19940316-35.1_s390x.deb 2.02.19940316 s390x Debian main
hol88-source_2.02.19940316-35.1_all.deb 2.02.19940316 all Debian main
hol88_2.02.19940316-35.1_amd64.deb 2.02.19940316 amd64 Debian main
hol88_2.02.19940316-35.1_arm64.deb 2.02.19940316 arm64 Debian main
hol88_2.02.19940316-35.1_armel.deb 2.02.19940316 armel Debian main
hol88_2.02.19940316-35.1_armhf.deb 2.02.19940316 armhf Debian main
hol88_2.02.19940316-35.1_i386.deb 2.02.19940316 i386 Debian main
hol88_2.02.19940316-35.1_mips64el.deb 2.02.19940316 mips64el Debian main
hol88_2.02.19940316-35.1_ppc64el.deb 2.02.19940316 ppc64el Debian main
hol88_2.02.19940316-35.1_s390x.deb 2.02.19940316 s390x Debian main


نیازمندی

مقدار نام
>= 2.29 libc6
- libgmp10
>= 6.0 libreadline8
- libx11-6


نحوه نصب


نصب پکیج deb hol88:

    sudo apt-get install hol88_2.02.19940316-35.1_mipsel.deb


فایل ها

مسیرها
./usr/bin/hol88
./usr/lib/hol88-2.02.19940316/basic-hol
./usr/lib/hol88-2.02.19940316/hol
./usr/lib/hol88-2.02.19940316/hol-lcf
./usr/share/doc/hol88/README.Debian
./usr/share/doc/hol88/changelog.Debian.gz
./usr/share/doc/hol88/copyright
./usr/share/man/man1/hol88.1.gz
./usr/share/hol88-2.02.19940316/basic-hol -> ../../lib/hol88-2.02.19940316/basic-hol
./usr/share/hol88-2.02.19940316/hol -> ../../lib/hol88-2.02.19940316/hol
./usr/share/hol88-2.02.19940316/hol-lcf -> ../../lib/hol88-2.02.19940316/hol-lcf