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
- 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-swigs: Horizontally and vertically split elliptical nodes
- tikz-dimline: Technical dimension lines using PGF/TikZ
- tikz-ext: A collection of libraries for PGF/TikZ
- 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
- worldflags: Drawing flags with TikZ
- strands: Draw objects constructed from strands
- robotarm: TikZ powered LaTeX package to draw parameterized 2D robot arms
- liftarm: Draw liftarms
- wheelchart: Draw wheelcharts with TikZ
- pixelarttikz: Work with PixelArts, with TikZ
- outilsgeomtikz: Some geometric tools, with TikZ
- fenetrecas: Commands for CAS-like windows (Xcas or Geogebra) in TikZ
- tikz-layers: TikZ provides graphical layers on TikZ: "behind", "above" and "glass"
- tikz-network: Draw networks with TikZ
- tikz-planets: Illustrate celestial mechanics and the solar system
- tikz-bbox: Precise determination of bounding boxes in TikZ
- tikz-trackschematic: A TikZ library for creating track diagrams in railways
- tikzpeople: Draw people-shaped nodes in TikZ
- stanli: TikZ Library for Structural Analysis