Use a new version of ethereum/tests - Githubissues

pirapira / eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

Other

237 stars 42 forks source link

Use a new version of ethereum/tests #414

Closed pirapira closed 7 years ago