3 ms·
Yes, but why do it on paper when you can use an automated prover instead, since you're proving properties of an algorithm? It smells of laziness...
by AstralStorm 8y ago
Yes, but why do it on paper when you can use an automated prover instead, since you're proving properties of an algorithm?
It smells of laziness...
- shoo 8y agocan you cite any non-trivial examples where people writing papers include machine-checked proofs , in fields of study unrelated to the study of machine-checked proofs?