How to Install and Uninstall metamath Package on openSuSE Tumbleweed

Last updated: November 23,2024

1. Install "metamath" package

This tutorial shows how to install metamath on openSuSE Tumbleweed

$ sudo zypper refresh $ sudo zypper install metamath

2. Uninstall "metamath" package

In this section, we are going to explain the necessary steps to uninstall metamath on openSuSE Tumbleweed:

$ sudo zypper remove metamath

3. Information about the metamath package on openSuSE Tumbleweed

Information for package metamath:
---------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : metamath
Version : 0.198-7.8
Arch : x86_64
Vendor : openSUSE
Installed Size : 826.6 KiB
Installed : No
Status : not installed
Source package : metamath-0.198-7.8.src
Upstream URL : http://us.metamath.org/
Summary : Formal proof verifier and proof assistant
Description :
The Metamath language is a language to write theorems and formal proofs for
them. The Metamath program can parse files in the Metamath language and verify
the proofs. You can find examples of theories developed in Metamath on the
website.