Add proving instructions to README

runtimeverification / polkadot-verification

Verification of Polkadot WASM code

Other

9 stars 6 forks source link

Closed hjorthjort closed 4 years ago

hjorthjort commented 4 years ago

@ehildenb Looks like we need a contributor to approve. Can you make @Lederstrumpf a contributor?