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

Last updated: December 25,2024

1. Install "texlive-lkproof" package

Here is a brief guide to show you how to install texlive-lkproof on openSUSE Leap

$ sudo zypper refresh $ sudo zypper install texlive-lkproof

2. Uninstall "texlive-lkproof" package

In this section, we are going to explain the necessary steps to uninstall texlive-lkproof on openSUSE Leap:

$ sudo zypper remove texlive-lkproof

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

Information for package texlive-lkproof:
----------------------------------------
Repository : Main Repository
Name : texlive-lkproof
Version : 2021.189.3.1svn20021-150400.18.1
Arch : noarch
Vendor : SUSE LLC
Installed Size : 7.1 KiB
Installed : No
Status : not installed
Source package : texlive-specs-n-2021-150400.18.1.src
Upstream URL : http://www.tug.org/texlive/
Summary : LK Proof figure macros
Description :
The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.

5. The same packages on other Linux Distributions