Using Coq to derive network configurations from declarative policies
Using Coq 8.8.2, OCaml 4.02.3:
$ git clone --recursive https://github.com/mit-plv/network-configurations
$ cd network-configurations
$ make
-
Notifications
You must be signed in to change notification settings - Fork 0
Using Coq to derive network configurations from declarative policies
License
mit-plv/network-configurations
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Using Coq to derive network configurations from declarative policies
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published