There was recently that article about Python switching to a proof verified C crypto library. Yes, I welcome verified C code. But Rust is much easier to use inst

There was recently that article about Python switching to a proof verified C crypto library. Yes, I welcome verified C code. But Rust is much easier to use instead Tho the extra properties re side channels in said verified code outdoes Rust, so I'd also say it'd be undesirable to replace that C code with Rust