Skip to content

scratch: exercise the generated Rust proof gate on a runner (do not merge) - #231

Merged
hyperpolymath merged 1 commit into
mainfrom
proof-check-rust
Sep 24, 2026
Merged

scratch: exercise the generated Rust proof gate on a runner (do not merge)#231
hyperpolymath merged 1 commit into
mainfrom
proof-check-rust

test(proof): run the generated Rust proof gate on a runner

6dddd93
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar