tikz-inet – Draw interaction nets with TikZ
The package extends TikZ with macros to draw interaction nets.
|Licenses||The LaTeX Project Public License|
|Maintainer||Marc de Falco|
|Contained in||TeX Live as tikz-inet|
MiKTeX as tikz-inet
Download the contents of this package in one zip archive (117.3k).
Maybe you are interested in the following packages as well.
- prooftrees: Forest-based proof trees (symbolic logic)
- celtic: A TikZ library for drawing celtic knots
- spectralsequences: Print spectral sequence diagrams using PGF/TikZ
- makeshape: Declare new PGF shapes