معرفی شرکت ها

hol88_2.02.19940316-35.1_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Higher Order Logic, system image
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Jammy-22.04
مخزن Ubuntu universe amd64
نام بسته hol88
نام فایل بسته hol88_2.02.19940316-35.1_amd64.deb
نسخه بسته 2.02.19940316
انتشار بسته 35.1
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی
مجوز -
حجم دانلود 7011864
حجم نصب 60011
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 Ubuntu universe
hol88-contrib-source_2.02.19940316-35.1_all.deb 2.02.19940316 all Ubuntu universe
hol88-doc_2.02.19940316-35.1_all.deb 2.02.19940316 all Ubuntu universe
hol88-help_2.02.19940316-35.1_all.deb 2.02.19940316 all Ubuntu universe
hol88-library-help_2.02.19940316-35.1_all.deb 2.02.19940316 all Ubuntu universe
hol88-library-source_2.02.19940316-35.1_all.deb 2.02.19940316 all Ubuntu universe
hol88-library_2.02.19940316-35.1_amd64.deb 2.02.19940316 amd64 Ubuntu universe
hol88-source_2.02.19940316-35.1_all.deb 2.02.19940316 all Ubuntu universe


نیازمندی

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


نحوه نصب


نصب پکیج deb hol88:

    sudo apt-get install hol88_2.02.19940316-35.1_amd64.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