search

pirapira / eth-isabelle

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

Rename rlp.lem into rlplem.lem to avoid name collision with Rlp.ml ex… #470

Closed pirapira closed 6 years ago

pirapira commented 6 years ago

…ported from rlp package of opam