search

runtimeverification / polkadot-verification

Verification of Polkadot WASM code
Other
9 stars 6 forks source link

kwasm-polkadot-host: support using KWASM lemmas for simplification #96

Closed ehildenb closed 4 years ago