nebusresearch.wordpress.com
What’s The Shortest Proof I’ve Done?
I didn’t figure to have a bookend for last week’s “What’s The Longest Proof I’ve Done? question. I don’t keep track of these things, after all. And the length of…