Using Coq to derive network configurations from declarative policies
Primary LanguageCoqMIT LicenseMIT