Comment by Alifatisk

1 month ago

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

Are we baiting people with headlines now?