tikz-inet – Draw interaction nets with TikZ
The package extends TikZ with macros to draw interaction nets.
The LaTeX Project Public License
Marc de Falco|
|Contained in||TeX Live as tikz-inet|
|MiKTeX as tikz-inet|
typesetting logician’s discussions
Download the contents of this package in one zip archive (117.3k).
Maybe you are interested in the following packages as well.
- tikzcodeblocks: Helps to draw codeblocks like scratch, NEPO and PXT in TikZ
- prooftrees: Forest-based proof trees (symbolic logic)
- tikz-page: Small macro to help building nice and complex layout materials
- bchart: Draw simple bar charts in LaTeX