LaTeX macros for interaction nets and Linear Logic's proof nets using TikZ :spaghetti:
Primary LanguageTeX