Evidence Over Attestation
“To write the proof first, when it is cheap and uncomfortable.”
Writing the proof first is cheap and uncomfortable, and the discomfort is the point.

“To write the proof first, when it is cheap and uncomfortable.”
Writing the proof first is cheap and uncomfortable, and the discomfort is the point.
