> The two bugs that were found both sat outside the boundary of what the proofs ...

		Alifatisk 19 days ago \| parent \| context \| favorite \| on: Lean proved this program correct; then I found a b... > The two bugs that were found both sat outside the boundary of what the proofs cover Are we baiting people with headlines now?