SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

texlive-prooftrees rpm build for : Fedora 39. For other distributions click texlive-prooftrees.

Name : texlive-prooftrees
Version : svn52221 Vendor : Fedora Project
Release : 69.fc39 Date : 2023-03-31 00:02:41
Group : Unspecified Source RPM : texlive-2023-69.fc39.src.rpm
Size : 0.06 MB
Packager : Fedora Project
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.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora-secondary/releases/39/Everything/ppc64le/os/Packages/t

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  texlive-prooftrees-svn52221-69.fc39.noarch.rpm
ftp.icm.edu.pl  texlive-prooftrees-svn52221-69.fc39.noarch.rpm
ftp.icm.edu.pl  texlive-prooftrees-svn52221-69.fc39.noarch.rpm
ftp.icm.edu.pl  texlive-prooftrees-svn52221-69.fc39.noarch.rpm
     

Provides :
tex(prooftrees.sty)
tex-prooftrees
texlive-prooftrees

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


Content of RPM :
/usr/share/licenses/texlive-prooftrees
/usr/share/licenses/texlive-prooftrees/lppl1.3.txt
/usr/share/texlive/texmf-dist/tex/latex/prooftrees
/usr/share/texlive/texmf-dist/tex/latex/prooftrees/prooftrees.sty

 
ICM