master · x86_64-linux · d4d44dc89bfa · generated 2026-10-10T00:44:06Z

texlivePackages.lplfitch 0.9 single

Fitch-style natural deduction proofs

Name
lplfitch-0.9
Package set
texlivePackages
Homepage
https://ctan.org/pkg/lplfitch
License
LPPL-1.3c
Source
pkgs/tools/typesetting/tex/texlive/build-texlive-package.nix:83
Derivation
/nix/store/ixznhvzhavi6v4mfhl9qnv8i8xqw2hy6-lplfitch-0.9.drv
Repology
not reported as outdated · look up (as of 2026-10-10T00:42:15Z)

Maintainers 1

HandleNameContactVia
xworld21 Vincenzo Mantova GitHub listed on package

Dependencies 2

PackageAsMaintainersUsed by (transitive)Status
bashNonInteractive 5.3p15 other input 102,219 maintained outdated
stdenvNoCC 26.05pre-git other input
93,736 team-only

Used by 0 directly, 0 transitively

No package depends on this one.