How To Install metamath-doc on Fedora 36
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/).