Skip to content
Proof

wasm-gc: factor shared bignum sub-routines into callable helpers (ded… #334

Sign in to view logs

wasm-gc: factor shared bignum sub-routines into callable helpers (ded…

wasm-gc: factor shared bignum sub-routines into callable helpers (ded… #334

Triggered via push June 17, 2026 18:42
@jasiszjasisz
pushed 1eadafa
main
Status Success
Total duration 6m 3s
Artifacts –

proof.yml

on: push
Proof Export (Lean + Dafny)
6m 0s
Proof Export (Lean + Dafny)
Fit to window
Zoom out
Zoom in