02-soundness-of-translation.tex « soundness-proof « core « chapters - vein.git - VEIN: VErification via Interaction Nets

summary refs log tree commit diff

path: root/chapters/core/soundness-proof/02-soundness-of-translation.tex

blob: f112aa5e478fa5a0541980aec607a5ae6aa61587 (plain) (blame)

\subsection{Soundness of Translation}
\label{sec:soundness-of-translation}

% This subsection gives the proof for ONNX-to-Inpla translation soundness