“Formal mathematics is nature's way of letting you know how sloppyyour mathematics is.” L Leslie Lamport Copy Quote Browse More Source: csv-dataset