issues
search
runtimeverification
/
michelson-semantics
A K semantics of Tezos' Michelson language.
Other
17
stars
8
forks
source link
Refactorings to allowing using the different contracts in the same proof.
#319
Open
nishantjr
opened
3 years ago