How to Install and Uninstall proofgeneral Package on Kali Linux

Last updated: January 11,2025

1. Install "proofgeneral" package

Please follow the instructions below to install proofgeneral on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                proofgeneral
            
                    
    
    Copied

2. Uninstall "proofgeneral" package

This tutorial shows how to uninstall proofgeneral on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                proofgeneral
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the proofgeneral package on Kali Linux

Package: proofgeneral
Version: 4.5-1
Installed-Size: 2140
Maintainer: Debian Math Team
Architecture: all
Replaces: proofgeneral-coq, proofgeneral-misc
Depends: emacs
Suggests: proofgeneral-doc, prooftree
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
Size: 640484
SHA256: 42faa8180676f680bdab4b2bd56d71d2fbc174fe50d9c5682f5fc5ac0159767f
SHA1: 68f3d044639d66614178039564ce5e537ccb73ec
MD5sum: 93ede548a58e5e32f21e46ffa6dfb79c
Description: generic frontend for proof assistants
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers.
.
This package provides Proof General support for Coq. (There is no
other proof assistant that one could sensibly support.)
Description-md5:
Homepage: https://proofgeneral.github.io/
Tag: field::mathematics, implemented-in::lisp, interface::graphical,
interface::text-mode, interface::x11, role::plugin, role::program,
suite::emacs, use::editing, x11::application
Section: editors
Priority: optional
Filename: pool/main/p/proofgeneral/proofgeneral_4.5-1_all.deb