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
- cistercian: Display cistercian numerals
- tikzducks: A little fun package for using rubber ducks in TikZ
- tikzlings: A collection of cute little animals and similar creatures
- 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-palattice: Draw particle accelerator lattices with TikZ
- tikz-truchet: Draw Truchet tiles
- tikz-dimline: Technical dimension lines using PGF/TikZ
- tikz-swigs: Horizontally and vertically split elliptical nodes
- tikz-page: Small macro to help building nice and complex layout materials
- tikz-ext: A collection of libraries for PGF/TikZ
- tikz-bpmn: A TikZ library for creating BPMN models
- orcidlink: Insert hyperlinked ORCiD logo
- pgf: Create PostScript and PDF graphics in TeX
- callouts: Put simple annotations and notes inside a picture
- celtic: A TikZ library for drawing celtic knots
- memorygraphs: TikZ styles to typeset graphs of program memory
- robotarm: TikZ powered LaTeX package to draw parameterized 2D robot arms