How to Install and Uninstall metamath-book Package on openSuSE Tumbleweed

Last updated: November 23,2024

Deprecated! Installation of this package may no longer be supported.

1. Install "metamath-book" package

Here is a brief guide to show you how to install metamath-book on openSuSE Tumbleweed


    
        
            $
        

        
            
                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 Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                metamath-book
            
                    
    
    Copied

3. Information about the metamath-book package on openSuSE Tumbleweed

Information for package metamath-book:
--------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : metamath-book
Version : 20190602-5.5
Arch : noarch
Vendor : openSUSE
Installed Size : 1,0 MiB
Installed : No
Status : not installed
Source package : metamath-0.196-5.5.src
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.