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

Last updated: June 02,2024

1. Install "texlive-logicproof" package

Learn how to install texlive-logicproof on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                texlive-logicproof
            
                    
    
    Copied

2. Uninstall "texlive-logicproof" package

This is a short guide on how to uninstall texlive-logicproof on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                texlive-logicproof
            
                    
    
    Copied

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

Information for package texlive-logicproof:
-------------------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : texlive-logicproof
Version : 2023.209.svn33254-55.2
Arch : noarch
Vendor : openSUSE
Installed Size : 4.8 KiB
Installed : No
Status : not installed
Source package : texlive-specs-n-2023-55.2.src
Upstream URL : https://www.tug.org/texlive/
Summary : Box proofs for propositional and predicate logic
Description :
A common style of proof used in propositional and predicate
logic is Fitch proofs, in which each line of the proof has a
statement and a justification, and subproofs within a larger
proof have boxes around them. The package provides environments
for typesetting such proofs and boxes. It creates proofs in a
style similar to that used in "Logic in Computer Science" by
Huth and Ryan.