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
Copied
$
sudo zypper install
metamath
Copied
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
Copied
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.
---------------------------------
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.