4 ms·A proof, even if true, is worthless if it is unusable by others to build proofs on top of it.by cLeEOGPw 12y agoA proof, even if true, is worthless if it is unusable by others to build proofs on top of it.