kayleee·4 ปีที่แล้ว·discussRust does not have a formally verified compiler - while C does. So if you want mathematically proven correct code, use C.