> If programs were easy to prove correct This is just another turtle layer becau...

		dboreham on Oct 1, 2023 \| parent \| context \| favorite \| on: The presumption that computers are working correct... > If programs were easy to prove correct This is just another turtle layer because such proof is only vs a "specification", which turns out to also be a program, written in another language.