Suggestions for prooftrees
The following packages have something in common with the package prooftrees. The packages are ordered in decreasing similarity.
- ptolemaicastronomy: Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)
- forest: Drawing (linguistic) trees
- tikz-inet: Draw interaction nets with TikZ
- tikz-qtree: Use existing qtree syntax for trees in TikZ
- tikz-dependency: A library for drawing dependency graphs
- binarytree: Drawing binary trees using TikZ
- istgame: Draw Game Trees with TikZ
- forest-ext: Additional Forest libraries providing bug fixes, extensions and support for tagging
- tikzducks: A little fun package for using rubber ducks in TikZ
- tikzlings: A collection of cute little animals and similar creatures
- cistercian: Display cistercian numerals
- tikz-cd: Create commutative diagrams with TikZ
- pst-tree: Trees, using PSTricks
- rpgicons: Icons for tabletop role-playing games
- pgfplots: Create normal/logarithmic plots in two and three dimensions
- quiver: Draw commutative diagrams exported from https://q.uiver.app
- xistercian: Cistercian numerals in LaTeX
- tkz-bernoulli: Draw Bernoulli trees with TikZ
- tikz-bpmn: A TikZ library for creating BPMN models
- tikz-dimline: Technical dimension lines using PGF/TikZ
- tikz-ext: A collection of libraries for PGF/TikZ
- tikz-truchet: Draw Truchet tiles
- tikz-page: Small macro to help building nice and complex layout materials
- tikz-swigs: Horizontally and vertically split elliptical nodes
- tikz-palattice: Draw particle accelerator lattices with TikZ
- orcidlink: Insert hyperlinked ORCiD logo
- pgf: Create PostScript and PDF graphics in TeX
- broydensolve: Solve a system of equations with Broyden’s good method
- liftarm: Geometric constructions with liftarms using TikZ and LaTeX3
- polyomino: Polyominoes using TikZ and LaTeX3
- pixelarttikz: Work with PixelArts, with TikZ