How to Install and Uninstall metamath Package on openSuSE Tumbleweed

Last updated: June 19,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.