pirapira / eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs
Other
237 stars 42 forks source link

Encoding crypto parameters into RLP #484

Closed pirapira closed 6 years ago