Wed, 25 Dec 2024 07:14:17 UTC | login

Information for RPM texlive-prooftrees-9:svn52221-59.fc37.noarch.rpm

ID854827
Nametexlive-prooftrees
Versionsvn52221
Release59.fc37
Epoch9
Archnoarch
SummaryForest-based proof trees (symbolic logic)
DescriptionThe 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.
Build Time2022-08-01 16:30:45 GMT
Size27.49 KB
57dabe52f0801a1e78628296b3c7dcd2
LicenseLPPL
Provides
tex(prooftrees.sty) = 2021
tex-prooftrees = 2021
texlive-prooftrees = 9:svn52221-59.fc37
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
tex-kpathsea
texlive-base
texlive-kpathsea-bin
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
/usr/share/licenses/texlive-prooftrees0.00 B
/usr/share/licenses/texlive-prooftrees/lppl1.3.txt18.66 KB
/usr/share/texlive/texmf-dist/tex/latex/prooftrees0.00 B
/usr/share/texlive/texmf-dist/tex/latex/prooftrees/prooftrees.sty41.83 KB
Component of
1 through 3 of 3
Buildroot descending sort Created State
f37-build-678625-76382 2022-11-15 21:37:18 expired
f37-build-673823-75679 2022-11-12 00:57:30 expired
f37-build-666395-74333 2022-11-06 11:27:48 expired