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

Last updated: December 27,2024

1. Install "texlive-ebproof" package

This tutorial shows how to install texlive-ebproof on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-ebproof
            
                    
    
    Copied

2. Uninstall "texlive-ebproof" package

This tutorial shows how to uninstall texlive-ebproof on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-ebproof
            
                    
    
    Copied

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

Information for package texlive-ebproof:
----------------------------------------
Repository : Main Repository
Name : texlive-ebproof
Version : 2021.189.2.1.1svn57544-150400.17.1
Arch : noarch
Vendor : SUSE LLC
Installed Size : 19.1 KiB
Installed : No
Status : not installed
Source package : texlive-specs-h-2021-150400.17.1.src
Upstream URL : http://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.