“Formal mathematics is nature's way of letting you know how sloppyyour mathematics is.”
Leslie Lamport“Formal mathematics is nature's way of letting you know how sloppyyour mathematics is.”
Leslie Lamport, Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers