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/core/02-soundness-proof.tex | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 chapters/core/02-soundness-proof.tex

(limited to 'chapters/core/02-soundness-proof.tex')

diff --git a/chapters/core/02-soundness-proof.tex b/chapters/core/02-soundness-proof.tex
new file mode 100644
index 0000000..c353946
--- /dev/null
+++ b/chapters/core/02-soundness-proof.tex
@@ -0,0 +1,12 @@
+\section{Soundness Proof}
+\label{sec:soundness-proof}
+
+% This section contains the proof that my tool is sound
+
+\input{chapters/core/soundness-proof/01-mathematical-definitions}
+
+\input{chapters/core/soundness-proof/02-soundness-of-translation}
+
+\input{chapters/core/soundness-proof/03-soundness-of-interaction-rules}
+
+\input{chapters/core/soundness-proof/04-soundness-of-reduction}
-- 
cgit v1.2.3