README.md 507 Bytes
Newer Older
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
1
# Smart Contracts
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
2
This repo is a formalization of execution layers of modern blockchains in Coq.
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
3
4

## Building/Developing
5
This repo uses the std++ library. This must be installed first and can be
6
7
8
9
10
11
installed via Opam, after adding the dev repo of Iris:
```bash
opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
opam install coq-stdpp
```
For more instructions, see [the stdpp readme](https://gitlab.mpi-sws.org/iris/stdpp).
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
12

13
After stdpp is installed, this repo should build with
14
15
16
```bash
make
```