From d3e761a2286d04a3c0005b199653df2f6501f070 Mon Sep 17 00:00:00 2001
From: ericmarin <maarin.eric@gmail.com>
Date: Fri, 19 Jun 2026 12:39:13 +0200
Subject: refined core

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

(limited to 'main.tex')

diff --git a/main.tex b/main.tex
index 21356f3..384a751 100644
--- a/main.tex
+++ b/main.tex
@@ -10,10 +10,11 @@
 \usepackage[nameinlink]{cleveref}
 \usepackage{xspace}
 \usepackage[colorinlistoftodos]{todonotes}
-% \usepackage[scaled=.83]{beramono} 
+\usepackage[scaled=.83]{beramono} 
 \usepackage{lineno}
 \usepackage{tikz-inet}
 \usepackage{stmaryrd}
+\usepackage{float}
 
 \usetikzlibrary{calc}
 \linenumbers
@@ -21,6 +22,7 @@
 \Crefname{algocf}{Algorithm}{Algorithms}
 
 \input{macros}
+\input{cmds}
 
 \title{VEIN: VErification via Interaction Nets for Neural Networks}
 \author{Eric Marin}
-- 
cgit v1.2.3