Why formalize mathematics - more than catching errors (via evmar) — discussion

#math #plt