01-inpla.tex « implementation « core « chapters - vein.git - VEIN: VErification via Interaction Nets

summary refs log tree commit diff

path: root/chapters/core/implementation/01-inpla.tex

blob: b5347051fbf4cb66cc36270933d1fd26ead76f81 (plain) (blame)

\subsection{Inpla fork}
\label{sec:inpla}

% This subsection talks about my Inpla fork