Int encoding lemmas for the booster - Githubissues

runtimeverification / kasmer-multiversx

Wasm semantics for the Elrond/MultiversX blockchain network

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

Int encoding lemmas for the booster #136

Closed virgil-serbanuta closed 3 months ago