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

Last updated: May 18,2024

1. Install "texlive-ebproof" package

Please follow the instructions below to install texlive-ebproof on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-ebproof
            
                    
    
    Copied

2. Uninstall "texlive-ebproof" package

Here is a brief guide to show you how to uninstall texlive-ebproof on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-ebproof
            
                    
    
    Copied

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

Information for package texlive-ebproof:
----------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : texlive-ebproof
Version : 2023.211.2.1.1svn57544-55.3
Arch : noarch
Vendor : openSUSE
Installed Size : 19.1 KiB
Installed : No
Status : not installed
Source package : texlive-specs-h-2023-55.3.src
Upstream URL : https://www.tug.org/texlive/
Summary : Formal proofs in the style of sequent calculus
Description :
This package provides commands to typeset proof trees in the
style of sequent calculus and related systems. The commands
allow for writing inferences with any number of premises and
alignment of successive formulas on an arbitrary point. Various
options allow complete control over spacing, styles of
inference rules, placement of labels, etc. The package requires
expl3 and xparse.