\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}
