How to Install and Uninstall prover9-doc Package on Kali Linux

Last updated: April 28,2024

1. Install "prover9-doc" package

This guide covers the steps necessary to install prover9-doc on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                prover9-doc
            
                    
    
    Copied

2. Uninstall "prover9-doc" package

This tutorial shows how to uninstall prover9-doc on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                prover9-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the prover9-doc package on Kali Linux

Package: prover9-doc
Source: prover9-manual
Version: 0.0.200902a-2.1
Installed-Size: 3183
Maintainer: Debian QA Group
Architecture: all
Suggests: prover9, ladr4-apps, python
Size: 857296
SHA256: 0584e4d91ff62416638c5b1061587e19066200425ec9ea6b6ba67fce234aa682
SHA1: a3138e4e3b683c8873050cf2622ecd743d12fea5
MD5sum: c678f6a39585b576bd097cf5fb5b2d9a
Description: documentation for Prover9 and associated programs
Prover9 is an automated theorem prover for first-order and equational
logic. It is a successor of the Otter prover. Prover9 uses the
inference techniques of ordered resolution and paramodulation with
literal selection.
.
This package provides documentation for Prover9, Mace4 and other
associated programs.
Description-md5:
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Tag: made-of::html, made-of::pdf, role::documentation
Section: doc
Priority: optional
Filename: pool/main/p/prover9-manual/prover9-doc_0.0.200902a-2.1_all.deb