issues
search
runtimeverification
/
polkadot-verification
Verification of Polkadot WASM code
Other
9
stars
6
forks
source link
Makefile: select build as default target
#92
Closed
ehildenb
closed
4 years ago