How To Install metamath-doc on Fedora 36

In this tutorial we learn how to install metamath-doc in Fedora 36. metamath-doc is The Metamath book

Introduction

In this tutorial we learn how to install metamath-doc on Fedora 36.

What is metamath-doc

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.

We can use yum or dnf to install metamath-doc on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install metamath-doc.

Install metamath-doc on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install metamath-doc using dnf by running the following command:

sudo dnf -y install metamath-doc

Install metamath-doc on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install metamath-doc using yum by running the following command:

sudo yum -y install metamath-doc

How To Uninstall metamath-doc on Fedora 36

To uninstall only the metamath-doc package we can use the following command:

sudo dnf remove metamath-doc

metamath-doc Package Contents on Fedora 36

/usr/share/doc/metamath
/usr/share/doc/metamath/metamath.pdf
/usr/share/licenses/metamath-doc
/usr/share/licenses/metamath-doc/LICENSE.TXT

References

Summary

In this tutorial we learn how to install metamath-doc on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).