Commit 2be125bb authored by Samuel Ben Hamou's avatar Samuel Ben Hamou
Browse files

Encore des ajustements de mise en page.

parent 050ba309
...@@ -82,12 +82,12 @@ ...@@ -82,12 +82,12 @@
\includegraphics[scale=0.36]{logo_ens.png} %\hspace*{1cm} \includegraphics[scale=0.36]{logo_ens.png} %\hspace*{1cm}
\hfill \includegraphics[scale=0.08]{logo-irif.png} \\ \hfill \includegraphics[scale=0.08]{logo-irif.png} \\
\begin{center} \begin{center}
\vspace*{-0.5em} \vspace*{-0.25em}
%\vspace*{6em} %\vspace*{6em}
{\LARGE Rapport de stage} \\ \vspace{0.5em} {\LARGE Rapport de stage} \\ \vspace{0.9em}
{\huge Extensions d'un cours de logique du premier ordre certifié en Coq} \\ \vspace{1.5em} {\huge Extensions d'un cours de logique du premier ordre certifié en Coq} \\ \vspace{1.5em}
{\Large Stage effectué du 1 juin au 17 juillet 2020} \\ \vspace{2em} {\Large Stage effectué du 1 juin au 17 juillet 2020} \\ \vspace{1.5em}
{\Large Samuel Ben Hamou} \\ \smallskip {\Large Samuel Ben Hamou} \\ \smallskip
{\large \'Ecole Normale Supérieure Paris-Saclay} \\ {\large \'Ecole Normale Supérieure Paris-Saclay} \\
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment