Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details

All Projects → pirapira → evmverif

pirapira / evmverif

Licence: Apache-2.0 license

An EVM code verification framework in Coq

Programming Languages

Coq

218 projects

Isabelle

26 projects

Makefile

30231 projects

After an experiment, the weight is being shifted onto Isabelle/HOL. See https://github.com/pirapira/eth-isabelle

The coq directory contains its own README.
There is a screencast about how to use this repository.
There is a gitter channel.
There is a bigger picture containing more attempts.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].

Stars: ✭ 44

Visit Git Page 🔗Visit User Page 🔗Visit Issues Page (5) 🔗