Text this: Mechanical geometry theorem proving