We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
⚠️ Deprecated and not maintained.
Personal TikZ macros for interaction nets and proof-nets.
LaTeX macros for interaction nets and Linear Logic's proof nets using TikZ 🍝
There was an error while loading. Please reload this page.