Leslie Lamport said this quote

“ Formal mathematics is nature's way of letting you know how sloppyyour mathematics is. ”