runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.
Other
17 stars 6 forks source link

Nice to haves #209

Closed hjorthjort closed 3 years ago

hjorthjort commented 3 years ago
claim <k> #dexterCode(IsFA2) => . ... </k>
          <storage> [...] </storage>