chapters/03-core.tex


1
2
3
4
5
6
7
8
9
10

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

\input{chapters/core/03-benchmarks}