Choose a background or upload your own photo, then download a shareable quote image.
Your file stays in the browser; nothing is sent to the server.
Choose a background or upload your own photo, then download a shareable quote image.
In a world in which the price of calculation continues to decrease rapidly, but the price of theorem proving continues to hold steady or increase, elementary economics indicates that we ought to spend a larger and larger fraction of our time on calculation.