Paste a real Rust function and get an exact proof it can’t divide by zero on any reachable path — entirely offline.
Loading app…
Want the Pro edition?
Get the downloadable app — no internet required.