How to Install and Uninstall metamath Package on Ubuntu 21.10 (Impish Indri)

Last updated: November 07,2024

1. Install "metamath" package

Please follow the steps below to install metamath on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                metamath
            
                    
    
    Copied

2. Uninstall "metamath" package

Please follow the guidance below to uninstall metamath on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                metamath
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the metamath package on Ubuntu 21.10 (Impish Indri)

Package: metamath
Architecture: amd64
Version: 0.195-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Giovanni Mascellani
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 842
Depends: libc6 (>= 2.14)
Suggests: metamath-databases
Filename: pool/universe/m/metamath/metamath_0.195-1_amd64.deb
Size: 343800
MD5sum: 2eca6a0545d0116b426738335a9e0a8d
SHA1: e5914f8499b87e23194fa1e2781919e12446da50
SHA256: 39eade4918aa78bda43e6aa312505810c915a1aaa4dc49dda31d72d001bcaa91
SHA512: 08f9676d3851bb59ff1198c5561b21ec6781ed8f0502072bdda7690f494e9e81ef0b20bd97ac418c41abd0f0c063d7ccc1373b10bf0f64330e16dc0ae3d8fc48
Homepage: http://us.metamath.org/
Description-en: Language for mathematical proofs
Metamath is a tiny language for expressing theorems in abstract
mathematics, accompanied by proofs that can be verified by a computer
program.
.
This program is the reference implementation of the language. It
provides a proof checker, a proof editor and tools to automatically
render theorems and proofs to HTML and LaTeX files.
.
This package does not contain proof databases, but the tools to deal
with them. The user can create their own databases, use those
available on the Internet or provided by the metamath-databases
package.
Description-md5: 4e59e766d3a9f9187c1c0bd8ff09b56b