Describir: Memoirs of a proof theorist