معرفی شرکت ها

metamath-doc-0.198-5.fc39.noarch.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

The Metamath book
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything noarch
نام بسته metamath-doc
نام فایل بسته metamath-doc-0.198-5.fc39.noarch.rpm
نسخه بسته 0.198
انتشار بسته 5.fc39
معماری بسته noarch
نگهدارنده -
تاریخ ساخت Thu 20 Jul 2023 06
هاست سازنده buildvm-x86-13.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://us.metamath.org/
مجوز CC0-1.0 AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later
حجم دانلود 1.1M
حجم نصب 1.137M
This package contains The Metamath book, which provides an in-depth understanding of the Metamath language and program. The first part of the book also includes an easy-to-read informal discussion of abstract mathematics and computers, with references to other proof verifiers and automated theorem provers.


ارائه دهنده

مقدار نام
= 0.198-5.fc39 metamath-doc


نحوه نصب


نصب پکیج rpm metamath-doc:

    dnf install metamath-doc-0.198-5.fc39.noarch.rpm


فایل ها

مسیرها
/usr/share/doc/metamath
/usr/share/doc/metamath/metamath.pdf
/usr/share/licenses/metamath-doc


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-07-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

2023-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-11-28

Convert License tags to SPDX

2022-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-18

Add %check script

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-08-08

Version 0.198

2021-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild