Lamport Quotes

Writing is nature’s way of letting you know how sloppy your thinking (reasoning) is.

Mathematics is nature’s way of letting you know how sloppy your writing is.

Formal mathematics is nature’s way of letting you know how sloppy your mathematics is.

Haskell is nature’s way of letting you know how sloppy your formal model is.

* <---- You are here

Coq is nature’s way of letting you know how sloppy your Haskell is.