
Congruence Subgroup Property
 $\mathrm{SL}_n(\mathbb{Z})$:
We looked at the proof of the CSP, as given by Mennicke, building on the work of Brenner.

$\mathrm{Out}(F_n)$:
We start by looking at the paper of Stallings to show that $\mathrm{Aut}(F_n)$ is finitely generated. To give a presentation we prove the peak reduction lemma as given by HigginsLyndon , then look at the paper of
McCool, and conclude with the paper of Gersten.

