interaction rules subsection 3.1.2thesis

1 files changed, 4 insertions, 0 deletions

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}