proof.tex - oopsla21_fvhls - Formal verification of high-level synthesis.

summary refs log tree commit diff stats

path: root/proof.tex

blob: fdd140fe9cc549110503fba74a0bb47296e81e2d (plain)

\section{Proof}

\subsection{Coq Mechanisation}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End: