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

summary refs log tree commit diff

path: root/chapters/core/implementation/03-translation.tex

blob: 4f2064c2f64abc0032fd3a5795f6e55b8c7e5680 (plain) (blame)

\subsection{ONNX Translation}
\label{sec:translation}

% This subsection talks about the function used to translate ONNX to Inpla syntax