How To Install metamath-theories on Fedora 36
Introduction
In this tutorial we learn how to install metamath-theories
on Fedora 36.
What is metamath-theories
This package contains metamath theory files for several branches of mathematics, such as ZFC set theory, HOL, and Peano arithmetic.
We can use yum
or dnf
to install metamath-theories
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install metamath-theories.
Install metamath-theories 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-theories
using dnf
by running the following command:
sudo dnf -y install metamath-theories
Install metamath-theories 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-theories
using yum
by running the following command:
sudo yum -y install metamath-theories
How To Uninstall metamath-theories on Fedora 36
To uninstall only the metamath-theories
package we can use the following command:
sudo dnf remove metamath-theories
metamath-theories Package Contents on Fedora 36
/usr/share/metamath
/usr/share/metamath/big-unifier.mm
/usr/share/metamath/demo0.mm
/usr/share/metamath/hol.mm
/usr/share/metamath/iset.mm
/usr/share/metamath/miu.mm
/usr/share/metamath/nf.mm
/usr/share/metamath/peano.mm
/usr/share/metamath/ql.mm
/usr/share/metamath/set.mm
References
Summary
In this tutorial we learn how to install metamath-theories
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).