\documentclass[a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{fullpage}
\setlength{\topmargin}{0mm}
\usepackage{amsmath,amssymb,stmaryrd}
\usepackage{enumitem}
\setlist[enumerate,1]{label={\alph*)}}
\usepackage[retainorgcmds]{IEEEtrantools}
\usepackage{tikz}

\title{Solutions to Exercise Sheet 5}   

\author{Your Name}
  
\begin{document}

\maketitle

\section{Interval Analysis}
\begin{enumerate}
  \item $[0,0]; [0,1]; [0,2]; [0,3]; [0,4]; [0,5]; \checkmark$
  \item 
  \item 
  \item 
\end{enumerate}

\section{Galois Connections}
\begin{enumerate}
  \item 
  \item
  \item 
  \item 
\end{enumerate}

\section{Proving Precision of Analyses}
\begin{enumerate}
  \item 
  \item
\end{enumerate}

\end{document}
