How to Install and Uninstall texlive-prooftrees Package on openSuSE Tumbleweed
Last updated: November 07,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.
-------------------------------------------
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.