\documentclass[12pt,a4paper,parskip=full]{scrreprt}
\usepackage[top=3.5cm,bottom=3.5cm,left=3cm,right=3cm]{geometry}

% \usepackage[spanish]{babel}
\usepackage[utf8]{inputenc} \usepackage{url}
\usepackage{graphicx} \usepackage{cite} \usepackage{amsmath}
\usepackage{mathtools} \usepackage{listings} \usepackage{syntax}
% \usepackage[compact,small]{titlesec}
\usepackage[usenames,dvipsnames]{xcolor}
\usepackage[pagebackref,colorlinks=true,linkcolor=black,urlcolor=black,citecolor=blue]{hyperref}
\usepackage{perpage} \usepackage{subcaption}

\usepackage{tikz}
% \usepackage{minted}

\usepackage{float}
\floatstyle{boxed}
\newfloat{code}{th}{los}[chapter]
\floatname{code}{Code listing}

\usetikzlibrary{shapes,arrows}

\hypersetup{pageanchor=false}


% \input{defs}
\input{portada/defs}

\MakePerPage{footnote}

\def\emptypage{\newpage\thispagestyle{empty}\mbox{}}

\begin{document}
\input{portada/portada}

\pagenumbering{roman}


\emptypage
\chapter*{Resumen}

\chapter*{Abstract}

\emptypage
\tableofcontents


\emptypage
\chapter{INTRODUCTION}
\label{cha:introduction}
\pagenumbering{arabic}
\setcounter{page}{1}

EasyCrypt\footnote{\url{https://www.easycrypt.info/}} is a crypto framework...



- EasyCrypt
- Term rewriting
 - Some theory (books?)
 - Extensions of lambda calculus

\chapter{STATE OF THE ART}

- Reduction things
- Abstract machines
 - Krivine
 - ZAM\cite{Gregoire-Leroy-02}

\chapter{IMPLEMENTATION}

- Outside EasyCrypt: weak symbolic with fixpts and cases

\chapter{CONTRIBUTIONS}
\label{cha:contribuciones}

- EasyCrypt rules

\chapter{CONCLUSIONS}
\label{cha:result-y-concl}

- Writing real things.
- Hey arst

\chapter{ANNEX}
\label{cha:anexos}


\pagebreak \bibliography{bib}{} \bibliographystyle{ieeetr}

\end{document}