\chapter{VEIN: VErification via Interaction Nets}
\label{ch:core}

This chapter contains details on framework implementation (\textbf{\Cref{sec:implementation}}), the
proof of soundness of the pipeline (\textbf{\Cref{sec:soundness-proof}}), and a collection of data
gathered from benchmarks (\textbf{\Cref{sec:benchmarks}}).

\input{chapters/core/01-implementation}

\input{chapters/core/02-soundness-proof}

\input{chapters/core/03-benchmarks}