Tackling Geometric Proofs