4 ms·

I am certain you are right and C++ could be used. If you combined it with a strong theorem proof language. But then, that's a large part of what Rust is so .

by zlynx 6y ago

I am certain you are right and C++ could be used. If you combined it with a strong theorem proof language. But then, that's a large part of what Rust is so . . .