1 2 3 4 5 6 7 8
\section{Proof} \subsection{Coq Mechanisation} %%% Local Variables: %%% mode: latex %%% TeX-master: "main" %%% End: