How to Install and Uninstall texlive-prooftrees Package on openSuSE Tumbleweed

Last updated: November 23,2024

1. Install "texlive-prooftrees" package

In this section, we are going to explain the necessary steps to install texlive-prooftrees on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-prooftrees
            
                    
    
    Copied

2. Uninstall "texlive-prooftrees" package

Please follow the instructions below to uninstall texlive-prooftrees on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-prooftrees
            
                    
    
    Copied

3. Information about the texlive-prooftrees package on openSuSE Tumbleweed

Information for package texlive-prooftrees:
-------------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : texlive-prooftrees
Version : 2023.209.0.0.7_svn_8641svn52221-53.2
Arch : noarch
Vendor : openSUSE
Installed Size : 41.8 KiB
Installed : No
Status : not installed
Source package : texlive-specs-s-2023-53.2.src
Upstream URL : https://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.