README.md

network-configurations

Using Coq to derive network configurations from declarative policies

Building

Using Coq 8.8.2, OCaml 4.02.3:

$ git clone --recursive https://github.com/mit-plv/network-configurations
$ cd network-configurations
$ make