03-benchmarks.tex « core « chapters - vein.git - VEIN: VErification via Interaction Nets

summary refs log tree commit diff

path: root/chapters/core/03-benchmarks.tex

blob: 40c198640d53983327e04745890bc733d978b3e1 (plain) (blame)

\section{Benchmarks}
\label{sec:benchmarks}

% This section contains the varius benchmarks