search

pirapira / eth-isabelle

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

Rename `no_annotation_failure` into `invariant_holds` because the ann… #441

Closed pirapira closed 7 years ago

pirapira commented 7 years ago

…otations have been removed