معرفی شرکت ها

metamath-databases_0.0.0~20210101.git55fe226-2_all.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Sample databases for Metamath
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main all
نام بسته metamath-databases
نام فایل بسته metamath-databases_0.0.0~20210101.git55fe226-2_all.deb
نسخه بسته 0.0.0~20210101.git55fe226
انتشار بسته 2
معماری بسته all
نگهدارنده Giovanni Mascellani <gio@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://us.metamath.org/
مجوز -
حجم دانلود 12847496
حجم نصب 48088
Metamath is a tiny language for expressing theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. . This package contains a number of Metamath databases developed collectively by people from the Metamath project, including set.mm (Metamath Proof Explorer) and others available at http://us.metamath.org/. . You can edit and verify these databases with any tool implementing the Metamath language, including the reference implementation available in the package metamath.


نیازمندی

مقدار نام
-


نحوه نصب


نصب پکیج deb metamath-databases:

    sudo apt-get install metamath-databases_0.0.0~20210101.git55fe226-2_all.deb


فایل ها

مسیرها
./usr/share/doc/metamath-databases/CONTRIBUTING.md.gz
./usr/share/doc/metamath-databases/README.Debian
./usr/share/doc/metamath-databases/changelog.Debian.gz
./usr/share/doc/metamath-databases/copyright
./usr/share/metamath/databases/big-unifier.mm
./usr/share/metamath/databases/demo0.mm
./usr/share/metamath/databases/hol.mm
./usr/share/metamath/databases/iset.mm
./usr/share/metamath/databases/miu.mm
./usr/share/metamath/databases/nf.mm
./usr/share/metamath/databases/peano.mm
./usr/share/metamath/databases/ql.mm
./usr/share/metamath/databases/set.mm