Giters
frenetic-lang
/
netkat
Starting a Coq NetKAT
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
8
Watchers:
21
Issues:
3
Forks:
1
This repository is not active
About
Starting a Coq NetKAT
Languages
Language:
OCaml
82.6%
Language:
Coq
17.1%
Language:
Makefile
0.3%