Skip to content
Proof

wasm-gc: native i64 for bounded multi-field records via 2-arg smart constructors #325

Sign in to view logs

wasm-gc: native i64 for bounded multi-field records via 2-arg smart constructors

wasm-gc: native i64 for bounded multi-field records via 2-arg smart constructors #325

Triggered via pull request June 17, 2026 12:42
@jasiszjasisz
synchronize #553
multi-field-carrier
Status Success
Total duration 7m 35s
Artifacts –

proof.yml

on: pull_request
Proof Export (Lean + Dafny)
7m 31s
Proof Export (Lean + Dafny)
Fit to window
Zoom out
Zoom in