Skip to content

docs: add a proof walkthrough that runs the real verifier#173

Merged
ion-alpha-dev merged 1 commit into
mainfrom
demo/proof-walkthrough
Jun 29, 2026
Merged

docs: add a proof walkthrough that runs the real verifier#173
ion-alpha-dev merged 1 commit into
mainfrom
demo/proof-walkthrough

docs: add a proof walkthrough that runs the real verifier

06061f7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
govulncheck
succeeded Jun 29, 2026 in 31s