How to Install and Uninstall prooftree Package on Kali Linux

Last updated: November 22,2024

Deprecated! Installation of this package may no longer be supported.

1. Install "prooftree" package

Please follow the guidance below to install prooftree on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                prooftree
            
                    
    
    Copied

2. Uninstall "prooftree" package

This guide let you learn how to uninstall prooftree on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                prooftree
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the prooftree package on Kali Linux

Package: prooftree
Source: prooftree (0.13-2)
Version: 0.13-2+b2
Installed-Size: 4973
Maintainer: Debian OCaml Maintainers
Architecture: amd64
Depends: proofgeneral (>= 4.3~pre130510), coq (>= 8.4), libc6 (>= 2.29), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgtk2.0-0 (>= 2.24.0), libpango-1.0-0 (>= 1.22.0)
Size: 1084116
SHA256: d69f374154c0892f5ae871d57ee1d74bb42a3a45555111ce04d71687cc67f088
SHA1: 9fa20c7e3ebe972d1279259af75e02f5a31010d0
MD5sum: 4f5a51e1f7e50d15a6b75fdb90b5b324
Description: proof-tree visualization for Proof General
Prooftree draws proof trees during interactive proof development
with Proof General. One can inspect goals and proof commands
and check where existential variables were introduced and
instantiated. Currently, Prooftree does only work for Coq.
Description-md5: b27f2d4918792b35e6871a08a544fafa
Homepage: http://askra.de/software/prooftree
Tag: uitoolkit::gtk
Section: science
Priority: optional
Filename: pool/main/p/prooftree/prooftree_0.13-2+b2_amd64.deb