How to Install and Uninstall metamath-book Package on openSUSE Leap

Last updated: May 19,2024

1. Install "metamath-book" package

Please follow the guidance below to install metamath-book on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                metamath-book
            
                    
    
    Copied

2. Uninstall "metamath-book" package

Please follow the steps below to uninstall metamath-book on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                metamath-book
            
                    
    
    Copied

3. Information about the metamath-book package on openSUSE Leap

Information for package metamath-book:
--------------------------------------
Repository : Main Repository
Name : metamath-book
Version : 20190602-bp155.4.8
Arch : noarch
Vendor : openSUSE
Installed Size : 1.1 MiB
Installed : No
Status : not installed
Source package : metamath-0.198-bp155.4.8.src
Upstream URL : http://us.metamath.org/
Summary : The Metamath book
Description :
The Metamath book, written by Norman Megill with extensive revisions by
David A. Wheeler, provides an in-depth understanding of the Metamath language
and program. The first part of the book also includes an easy-to-read informal
discussion of abstract mathematics and computers, with references to other
proof verifiers and automated theorem provers.