From 66857fcce9159e98ec777a781d8b13b4f37c021d Mon Sep 17 00:00:00 2001
From: ericmarin <maarin.eric@gmail.com>
Date: Wed, 6 May 2026 19:31:37 +0200
Subject: interaction rules subsection 3.1.2

---
 main.tex | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index dbc7999..bcb97c8 100644
--- a/main.tex
+++ b/main.tex
@@ -11,6 +11,10 @@
 \usepackage[colorinlistoftodos]{todonotes}
 % \usepackage[scaled=.83]{beramono} 
 \usepackage{lineno}
+\usepackage{tikz-inet}
+\usetikzlibrary{calc}
+
+\input{macros}
 
 \title{VEIN: VErification via Interaction Nets for Neural Networks}
 \author{Eric Marin}
-- 
cgit v1.2.3