04-python-module.tex « implementation « core « chapters - vein.git - VEIN: VErification via Interaction Nets

summary refs log tree commit diff

path: root/chapters/core/implementation/04-python-module.tex

blob: 7f144db99f6b9bfdc1150106763fc8234457a7b0 (plain) (blame)

\subsection{Python Module}
\label{sec:python-module}

% This subsection talks how the tool is contained in a neat python module and various optimizations