How to Install and Uninstall eprover Package on Kali Linux

Last updated: December 24,2024

1. Install "eprover" package

This guide let you learn how to install eprover on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                eprover
            
                    
    
    Copied

2. Uninstall "eprover" package

Please follow the instructions below to uninstall eprover on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                eprover
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the eprover package on Kali Linux

Package: eprover
Version: 3.0.03+ds-1
Installed-Size: 11262
Maintainer: Debian Math Team
Architecture: amd64
Depends: libc6 (>= 2.34), picosat (>= 959)
Size: 1478244
SHA256: 4b62e8e84754dc676ddbc153570afc23044f84f63ae43dd0fba4f0e981b22315
SHA1: af3b69904b4d9a2e47a75a92b690fdfe9380e80f
MD5sum: 898740468c81e853d1e68daee04f0127
Description: Equational theorem prover
This package provides tools to prove equational theorems:
from a mathematical specification in many-sorted first-order
logic with equality and an hypothesis/conjecture, it
will look for a proof.
Description-md5:
Homepage: https://eprover.org
Section: math
Priority: optional
Filename: pool/main/e/eprover/eprover_3.0.03+ds-1_amd64.deb