Rover's Simple Group is of Type F_\infty Belk, James; Matucci, Francesco Submitted We prove that Claas Rover's Thompson-Grigorchuk simple group $V\mathcal{G}$ has type $F_\infty$. The proof involves constructing a filtered simplicial complex on which $V\mathcal{G}$ acts, and then analyzing the descending links