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)
• 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
• forest: Drawing (linguistic) trees
• istgame: Draw Game Trees with TikZ
• tkz-bernoulli: Draw Bernoulli trees with TikZ
• tikz-palattice: Draw particle accelerator lattices with TikZ
• tikz-truchet: Draw Truchet tiles
• tikz-ext: A collection of libraries for PGF/TikZ
• 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
• 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
• strands: Draw objects constructed from strands
• worldflags: Drawing flags with TikZ
• fenetrecas: Commands for CAS-like windows (Xcas or Geogebra) in TikZ
• outilsgeomtikz: Some geometric tools, with TikZ
• pixelarttikz: Work with PixelArts, with TikZ
• pictochrono: Insert “chronometer pictograms” with a duration
• tikz-trackschematic: A TikZ library for creating track diagrams in railways
• tikz-nfold: Triple, quadruple, and n-fold paths with TikZ
• tikz-bbox: Precise determination of bounding boxes in TikZ
• tikz-planets: Illustrate celestial mechanics and the solar system
• tikz-network: Draw networks with TikZ
• tikz-osci: Produce oscilloscope “screen shots”
• tikz-layers: TikZ provides graphical layers on TikZ: "behind", "above" and "glass"