# 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-page: Small macro to help building nice and complex layout materials
- 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
- 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
- fenetrecas: Commands for CAS-like windows (Xcas or Geogebra) in TikZ
- worldflags: Drawing flags with TikZ
- outilsgeomtikz: Some geometric tools, with TikZ
- pictochrono: Insert “chronometer pictograms” with a duration
- pixelarttikz: Work with PixelArts, with TikZ
- tikz-layers: TikZ provides graphical layers on TikZ: "behind", "above" and "glass"
- 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”