How to Install and Uninstall metamath Package on Kali Linux

Last updated: May 10,2024

1. Install "metamath" package

Please follow the guidelines below to install metamath on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                metamath
            
                    
    
    Copied

2. Uninstall "metamath" package

Please follow the guidelines below to uninstall metamath on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                metamath
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the metamath package on Kali Linux

Package: metamath
Version: 0.195-1
Installed-Size: 838
Maintainer: Giovanni Mascellani
Architecture: amd64
Depends: libc6 (>= 2.14)
Suggests: metamath-databases
Size: 343644
SHA256: c3ff523d1b8d7f28934a3b52fe1bcf084ec6dbf3e3e626310901eeb92f6bdd64
SHA1: 1a1e0338ac1f1ec5c1cfd1acf429d6f0144bb534
MD5sum: 14c17e3cd6a2542cce6bb902b27fe621
Description: 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:
Homepage: http://us.metamath.org/
Section: math
Priority: optional
Filename: pool/main/m/metamath/metamath_0.195-1_amd64.deb