معرفی شرکت ها

hol88-doc_2.02.19940316-35.1_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Documentation for hol88
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Jammy-22.04
مخزن Ubuntu universe all
نام بسته hol88-doc
نام فایل بسته hol88-doc_2.02.19940316-35.1_all.deb
نسخه بسته 2.02.19940316
انتشار بسته 35.1
معماری بسته all
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی
مجوز -
حجم دانلود 1064880
حجم نصب 1063
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-doc:

    sudo apt-get install hol88-doc_2.02.19940316-35.1_all.deb


فایل ها

مسیرها
./usr/share/doc/hol88-doc/Manual/Covers/CRC.ps.gz
./usr/share/doc/hol88-doc/Manual/Covers/DESCRIPTION.ps.gz
./usr/share/doc/hol88-doc/Manual/Covers/LANTERN.ps.gz
./usr/share/doc/hol88-doc/Manual/Covers/LIBRARIES.ps.gz
./usr/share/doc/hol88-doc/Manual/Covers/REFERENCE.ps.gz
./usr/share/doc/hol88-doc/Manual/Covers/TUTORIAL.ps.gz
./usr/share/doc/hol88-doc/Manual/Covers/arms.ps.gz
./usr/share/doc/hol88-doc/Manual/Covers/dsto.ps.gz
./usr/share/doc/hol88-doc/Manual/Covers/endpages.dvi
./usr/share/doc/hol88-doc/Manual/Covers/endpages.ps.gz
./usr/share/doc/hol88-doc/Manual/Covers/titlepages.dvi.gz
./usr/share/doc/hol88-doc/Manual/Covers/titlepages.ps.gz
./usr/share/doc/hol88-doc/Manual/Description/description.dvi.gz
./usr/share/doc/hol88-doc/Manual/Guide/guide.ps.gz
./usr/share/doc/hol88-doc/Manual/Libraries/libraries.dvi
./usr/share/doc/hol88-doc/Manual/Reference/reference.dvi.gz
./usr/share/doc/hol88-doc/Manual/Tutorial/tutorial.dvi.gz
./usr/share/doc/hol88-doc/changelog.Debian.gz
./usr/share/doc/hol88-doc/copyright