>And inability to prove correctness does NOT imply incorrectness. And inability to prove incorrectness does NOT imply correctness. I think most Rust users don'

>And inability to prove correctness does NOT imply incorrectness. And inability to prove incorrectness does NOT imply correctness. I think most Rust users don't understand either, because of the hype.