> As they say, "doveryay, no proveryay"
I'm sorry if this might be common knowledge, but I've honestly never heard this and can't understand it.
Is it saying that it's better to do something than to (formally) prove it, like the opposite of (I think) Knuth's famous quote?