memoria.tex

\documentclass[a4paper, 12pt, spanish]{article}
\input{00_common_preamble.tex}
% \usepackage{lstautogobble}

\usepackage{enumitem}
\setlist[enumerate]{topsep=0mm}
\setlist[enumerate]{leftmargin=*}
\setlist[itemize]{topsep=0mm}
\setlist[itemize]{leftmargin=*}

\setlength\parindent{0pt}
\setlength\parskip{1em plus 0.1em minus 0.2em}
\addtolength{\skip\footins}{.5em}

\usepackage{dirtree}

\usepackage[colorlinks=true, linktocpage=true, citecolor=red, linkcolor=blue]{hyperref}

\setcounter{tocdepth}{2}


% \usepackage{sectsty} % Comentado porque generaba warning https://tex.stackexchange.com/a/310968

\newcommand{\emptypage}{\newpage\null\thispagestyle{empty}\newpage}
\usepackage[margin=3cm]{geometry}


\renewenvironment{abstract}[1][Resumen]{
	\thispagestyle{empty}
	\begin{center}
		\textbf{#1}
	\end{center}
}{\vspace*{1cm}}

% \usepackage{titlesec}
% \titleformat{\section} {\Large\bfseries}{\thesection.}{0.5em}{}
% \titleformat{\subsection}{\large\bfseries}{\thesubsection.}{0.5em}{}
% \titleformat{\subsubsection}{\normalfont\bfseries}{\thesubsubsection.}{0.5em}{}
% \titlespacing*{\subsubsection}{0pt}{.3em plus 0.1em minus 0.1em}{.05em plus 0.1em minus 0.1em}
% \titlespacing{\paragraph}{0pt}{0.5\baselineskip}{1em}


\usepackage[citestyle=numeric,bibstyle=numeric,sorting=none]{biblatex}

\addbibresource{referencias.bib}

\captionsetup{font={small}}

\begin{document}
% Estilo de portada inspirado en https://github.com/guillegran/TFGMates
\begin{titlepage}
	\begin{minipage}{.5\textwidth}
		\Large Trabajo de Fin de Grado
	\end{minipage}
	\begin{minipage}{0.5\textwidth}
		\hfill
		\includegraphics[height=1.5cm]{imgs/UCM}
	\end{minipage}
	\vfill
	\begin{center}

		{\LARGE Formalización de las matemáticas con Lean.\\[.6em]
			Un caso de estudio: Geometría euclídea plana.}

		\vspace*{.5cm}

		{\large\normalfont Adrián Lattes Grassi}

		\vspace*{.3cm} {\large Septiembre de 2023}
	\end{center}
	\vfill{\Large\noindent Facultad de Ciencias Matemáticas.\\[.6em]
		Trabajo dirigido por Jorge Carmona Ruber.}
\end{titlepage}
\emptypage
\setcounter{page}{3}

\input{0-abstract.tex}
\emptypage

\tableofcontents
\newpage
\emptypage

\input{1-objetivos-y-metodologia.tex}
\input{2-matematicas-y-geometria-formales.tex}
\input{3-formalizacion-asistida.tex}
\input{4-introduccion-a-lean.tex}
\input{5.1-geometria-introduccion.tex}
\input{5.2-geometria-incidencia.tex}
\input{5.3-geometria-orden.tex}
\input{5.4-geometria-congruencia.tex}
\input{5.5-geometria-paralelas.tex}
\input{6-conclusiones.tex}
\newpage

\appendix
\input{7A-repositorio.tex}
\input{7B-entorno.tex}

\newpage
\printbibliography[heading=bibintoc, title={Referencias}]

\newpage
\input{8-agradecimientos.tex}

\end{document}