From 00439f8eacc04bee31dad6cb476d6f23f0b868dd Mon Sep 17 00:00:00 2001
From: ericmarin <maarin.eric@gmail.com>
Date: Tue, 5 May 2026 10:52:37 +0200
Subject: core chapter skeleton

---
 chapters/03-core.tex | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'chapters/03-core.tex')

diff --git a/chapters/03-core.tex b/chapters/03-core.tex
index 09d9c90..9369522 100644
--- a/chapters/03-core.tex
+++ b/chapters/03-core.tex
@@ -1,4 +1,8 @@
-\chapter{Core}
+\chapter{VEIN: VErification via Interaction Nets}
 \label{ch:core}
 
 % This chapter contains the core of the thesis, where the work is presented in details.
+
+\input{chapters/core/01-implementation}
+
+\input{chapters/core/02-soundness-proof}
-- 
cgit v1.2.3