Linux workstation

openSUSE Leap 16.0 native package

texlive-prooftrees

Forest-based proof trees (symbolic logic)

Packages / openSUSE Leap 16.0 / Productivity/Publishing/TeX/Base / texlive-prooftrees

[Source: texlive-specs-s]

Package: texlive-prooftrees (2025.221.0.0.9svn72665-160000.3.1)

External Resources:

Homepage: [www.tug.org]

Similar packages:

Forest-based proof trees (symbolic logic)

The package supports drawing proof trees of the kind often used in introductory logic classes, especially those aimed at students without strong mathematical 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.

Other Packages Related to texlive-prooftrees:

  • dep: /bin/sh

    Package not available

  • dep: /bin/sh

    Package not available

  • dep: /bin/sh

    Package not available

  • dep: [coreutils]

    GNU Core Utilities

  • dep: [coreutils]

    GNU Core Utilities

  • dep: [coreutils]

    GNU Core Utilities

  • dep: [ed]

    Un editor di testo orientato alle righe

  • dep: [findutils]

    Le versioni GNU delle utilità find (find e xargs)

  • dep: [grep]

    Stampare le righe che corrispondono a un modello

  • dep: [sed]

    Un editor di testo non interattivo orientato ai flussi

  • dep: tex(amssymb.sty)

    Package not available

  • dep: tex(amstext.sty)

    Package not available

  • dep: tex(forest.sty)

    Package not available

  • dep: tex(svn-prov.sty)

    Package not available

  • dep: [texlive] (>= 2025)

    Il sistema di formattazione TeXLive

  • dep: [texlive-filesystem] (>= 2025)

    File system di base di TeX Live

  • dep: [texlive-filesystem] (>= 2025)

    File system di base di TeX Live

  • dep: [texlive-filesystem] (>= 2025)

    File system di base di TeX Live

  • dep: [texlive-kpathsea] (>= 2025)

    Libreria di ricerca dei percorsi per file correlati a TeX

  • dep: [texlive-kpathsea-bin] (>= 2025)

    File binari di kpathsea

  • dep: [texlive-scripts] (>= 2025)

    Programmi di infrastruttura di TeX Live

  • dep: [texlive-scripts-bin] (>= 2025)

    File binari di texlive-scripts

Download texlive-prooftrees

ArchitecturePackage SizeInstalled SizeFiles
noarch64 KiB43 KiB[list of files]

Percorsi file del pacchetto (1)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

  • /usr/share/texmf/tex/latex/prooftrees/prooftrees.sty

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Usa questo pacchetto

OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.

Prova openSUSE Leap 16.0 nel browserCrea un'immagine che include texlive-prooftrees

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
2025.221.0.0.9svn72665-160000.3.1leap-16.0 / ossnoarchopenSUSE Leap 16.0 · OSS · multi-architecture64 KiB43 KiBnoarch/texlive-prooftrees-2025.221.0.0.9svn72665-160000.3.1.noarch.rpm
2024.216.0.0.8_svn_9582svn67399-160000.2.2leap-16.0 / ossnoarchopenSUSE Leap 16.0 · OSS · multi-architecture63 KiB42 KiBnoarch/texlive-prooftrees-2024.216.0.0.8_svn_9582svn67399-160000.2.2.noarch.rpm

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Checksum e date di osservazione

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

2025.221.0.0.9svn72665-160000.3.1 / noarchObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 285acbc694d48217a0d15872ea52f78a031397a08227f29572eefe19bbdd1c1051970ad93a05578f73b18713ed13890efac6eafd89ff4ed193da9dd9a672ef61

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

2024.216.0.0.8_svn_9582svn67399-160000.2.2 / noarchObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 4fcaac164ae4f0ffb7e924d4492c93a874c747e6d4497d7017a24e54ba6f3e3ed919903289a5ffcc08a2f280838b63d23b5701ba7109c011d2713d22ff32f38e

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Completezza del record

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description
25/25
Artifact path and source digest
25/25
Dependency metadata
15/15
Package-file index
15/15
Homepage
5/5
License text
5/5
Source package or maintainer
10/10

Recorded total: 100/100

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fonti e provenienza

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

  • openSUSE Leap 16.0 OSSSep 1, 2026

    Authoritative source; repository metadata signature verified, revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
    Signer fingerprint
    AD485664E901B867051AB15F35A2F86E29B700A4
    Keyring revision
    opensuse-project-signing-key.asc
    SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified

texlive-prooftrees Package for openSUSE Leap 16.0 | OpenFactory