How to Install and Uninstall texlive-prooftrees Package on openSUSE Leap

Last updated: April 29,2024

1. Install "texlive-prooftrees" package

Please follow the guidance below to install texlive-prooftrees on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-prooftrees
            
                    
    
    Copied

2. Uninstall "texlive-prooftrees" package

Please follow the guidance below to uninstall texlive-prooftrees on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-prooftrees
            
                    
    
    Copied

3. Information about the texlive-prooftrees package on openSUSE Leap

Information for package texlive-prooftrees:
-------------------------------------------
Repository : Main Repository
Name : texlive-prooftrees
Version : 2021.189.0.0.7_svn_8641svn52221-150400.17.1
Arch : noarch
Vendor : SUSE LLC
Installed Size : 41.8 KiB
Installed : No
Status : not installed
Source package : texlive-specs-s-2021-150400.17.1.src
Upstream URL : http://www.tug.org/texlive/
Summary : Forest-based proof trees (symbolic logic)
Description :
The package supports drawing proof trees of the kind often used
in introductory logic classes, especially those aimed at
students without strong mathemtical backgrounds. Hodges (1991)
is one example of a text which uses this system. When teaching
such a system it is especially useful to annotate the tree with
line numbers, justifications and explanations of branch
closures. prooftrees provides a single environment, prooftree,
and a variety of tools for annotating, customising and
highlighting such trees. A cross-referencing system is provided
for trees which cite line numbers in justifications for proof
lines or branch closures. prooftrees is based on forest and,
hence, TikZ. The package requires version 2.0.2 of Forest for
expected results and will not work with version 1.