|
|
|
|
|
|
by kazinator
2909 days ago
|
|
|
Problem is that these proofs are not the specification. They are very detailed. Specification says "write me a sort function", and the proof is some gobbledygook that deal with irrelevant minutiae of the sorting implementation. Where is the proof which proves that that proof matches the specification? |
|
|