I'm saying that both the headline of TFA and the statement of the lean-zip creat...

		aidenn0 48 days ago \| parent \| context \| favorite \| on: Lean proved this program correct; then I found a b... I'm saying that both the headline of TFA and the statement of the lean-zip creator can be correct. If they e.g. specially crafted a .zip file that caused it to flip bits via row-hammer like memory accesses, the same would be true.