conclusion.tex 142 Bytes
Newer Older
1
\section{Conclusion}
Benoit Viguier's avatar
WIP    
Benoit Viguier committed
2
\label{Conclusion}
3
4
5
6
7
8

\subsection{TCB of the proof}

\todo{Explain and compare to, e.g., F*}

\subsection{Proof toolchain}