Commit 1c27ec06 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Update readme

parent 4f766233
# Smart Contracts
This repo is a playground for various experiments with embedding Oak contracts
into Coq and verifying them.
This repo is a formalization of execution layers of modern blockchains in Coq.
## Building/Developing
This repo uses the std++ library. This must be installed first and can be
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment