3 ms·First link (formal verification) currently gives a 404 for me. Someone not wanting the extra publicity?by red_admiral 6y agoFirst link (formal verification) currently gives a 404 for me. Someone not wanting the extra publicity?