Describir: Formally Verified Mathematics.