Correctness with respect to a specification is not the same as correctness with ...

		vfclists 43 days ago \| parent \| context \| favorite \| on: Lean proved this program correct; then I found a b... Correctness with respect to a specification is not the same as correctness with respect to intent(ion) or expectation