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

ion-alpha-dev merged 1 commit into

mainionalpha/flynn:mainfrom

demo/proof-walkthroughionalpha/flynn:demo/proof-walkthroughCopy head branch name to clipboard