Text this: Automated Deduction in Geometry