Setup README structure, with list of specs to write about

runtimeverification / michelson-semantics

A K semantics of Tezos' Michelson language.

Other

17 stars 6 forks source link

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

In tests/proofs put a dexter folder with a README, where we put english-specs of each high-level function we are interested in.