4 ms·
Rust does not have a formally verified compiler - while C does. So if you want mathematically proven correct code, use C.
by kayleee 4y ago
Rust does not have a formally verified compiler - while C does.
So if you want mathematically proven correct code, use C.