Proof Writing & Problem Solving · Challenge problem

Let $a_0 = 0$, $a_1 = 1$ and $a_{n+1} = 4a_n - 4a_{n-1}$ for $n \ge 1$. Compute a few terms, guess a closed form, and prove it by strong induction. What is $a_{12}$?