How to Install and Uninstall texlive-prooftrees Package on openSUSE Leap
Last updated: November 23,2024
1. Install "texlive-prooftrees" package
Please follow the guidance below to install texlive-prooftrees on openSUSE Leap
$
sudo zypper refresh
Copied
$
sudo zypper install
texlive-prooftrees
Copied
2. Uninstall "texlive-prooftrees" package
Please follow the guidance below to uninstall texlive-prooftrees on openSUSE Leap:
$
sudo zypper remove
texlive-prooftrees
Copied
3. Information about the texlive-prooftrees package on openSUSE Leap
Information for package texlive-prooftrees:
-------------------------------------------
Repository : Main Repository
Name : texlive-prooftrees
Version : 2021.189.0.0.7_svn_8641svn52221-150400.17.1
Arch : noarch
Vendor : SUSE LLC
Installed Size : 41.8 KiB
Installed : No
Status : not installed
Source package : texlive-specs-s-2021-150400.17.1.src
Upstream URL : http://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 : Main Repository
Name : texlive-prooftrees
Version : 2021.189.0.0.7_svn_8641svn52221-150400.17.1
Arch : noarch
Vendor : SUSE LLC
Installed Size : 41.8 KiB
Installed : No
Status : not installed
Source package : texlive-specs-s-2021-150400.17.1.src
Upstream URL : http://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.