prove arithmetic lemmas in ConcreteWord.v - Githubissues

pirapira / evmverif

An EVM code verification framework in Coq

Apache License 2.0

44 stars 8 forks source link

prove arithmetic lemmas in ConcreteWord.v #1

Open pirapira opened 7 years ago

pirapira commented 7 years ago

In ConcreteWord.v, there are not yet proven conjectures.