Interactive Playground (Stub)
Z3 Prover
Verified
cell main() -> u32:
val x: u32 = 42
yield x
This is a UI stub: it simulates how the editor will show “Proven” vs “Unsafe” code.
cell main() -> u32:
val x: u32 = 42
yield x
This is a UI stub: it simulates how the editor will show “Proven” vs “Unsafe” code.