Text this: Synthetic reasoning in differential geometry