Skip to content
GitLab
Switch branch/tag
Find file Normal viewHistoryPermalink
conclusion.tex 123 Bytes
Newer Older
Peter Schwabe's avatar
Complete restructuring, messing with pretty much every file.  
Peter Schwabe committed
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}