move some common lemmas from verification.k to lemmas.md
tomtomjhj opened this issue · comments
For example, these.
Also, there are some duplicate ones.
runtimeverification / verified-smart-contracts
Smart contracts which are formally verified
Smart contracts which are formally verified
tomtomjhj opened this issue · comments
For example, these.
Also, there are some duplicate ones.