How To Install metamath-theories on Fedora 36

In this tutorial we learn how to install metamath-theories in Fedora 36. metamath-theories is Existing mathematical theories in the metamath format

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/).