But is fair to state that the verification was \*incomplete\*, which is what the...

		amoss 23 days ago \| parent \| context \| favorite \| on: Lean proved this program correct; then I found a b... But is fair to state that the verification was incomplete, which is what the article does.