1 \documentclass{article
}
3 \usepackage{hyperref
} % For clickable links
4 \usepackage{a4wide
} % For better page usage
5 \usepackage{booktabs
} % For nice tables
6 \usepackage{enumerate
} % For nice tables
7 \usepackage{amsmath
} % For nice tables
9 \everymath{\displaystyle}
11 \author{Mart Lubbers (s4109503)
}
12 \title{Automated reasoning Assignment
2}