Text this: Machine proofs in geometry :