How to Install and Uninstall metamath Package on openSUSE Leap

Last updated: November 07,2024

1. Install "metamath" package

This guide let you learn how to install metamath on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                metamath
            
                    
    
    Copied

2. Uninstall "metamath" package

Please follow the step by step instructions below to uninstall metamath on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                metamath
            
                    
    
    Copied

3. Information about the metamath package on openSUSE Leap

Information for package metamath:
---------------------------------
Repository : Main Repository
Name : metamath
Version : 0.198-bp155.4.8
Arch : x86_64
Vendor : openSUSE
Installed Size : 890.7 KiB
Installed : No
Status : not installed
Source package : metamath-0.198-bp155.4.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.