Text this: Proof technology and computation /