Paste a real Rust function and get an exact proof it can’t divide by zero on any reachable path — entirely offline.
Loading app…