conclusion.tex 123 Bytes
Newer Older
1
2
3
4
5
6
7
\section{Conclusion}

\subsection{TCB of the proof}

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

\subsection{Proof toolchain}